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