let fold_succ f cfg n acc =
let f e acc =
match (edge_type e) with Enext -> acc | _ -> f (CFG.E.dst e) acc
in try CFG.fold_succ_e f (cfg.graph) n acc
with Invalid_argument _ ->
(Wp_parameters.warning "[cfg.fold_succ] pb with node %a" pp_node n; acc)