let
cfg_fct_in cfg =
Hashtbl
.find cfg.stmt_node (cfg_fct_in_id cfg)