let
cfg_exit cfg =
Hashtbl
.find cfg.stmt_node (cfg_fct_out_id cfg)