let fold_pred_e f cfg n acc = let f e acc = match (edge_type e) with Enext -> acc | _ -> f e acc in CFG.fold_pred_e f (cfg.graph) n acc