let
cfg_start cfg =
Hashtbl
.find cfg.stmt_node (cfg_start_id cfg)