let cfg_blk_out cfg s = Hashtbl.find cfg.stmt_node (node_type_id (VblkOut s))