let iter_edges f cfg = let f e = match (edge_type e) with Enext -> () | _ -> f e in CFG.iter_edges_e f (cfg.graph)