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