let cfg_start cfg = Hashtbl.find cfg.stmt_node (node_type_id Vstart)