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