let iter_succ f cfg n = let f e = match (edge_type e) with Enext -> () | _ -> f (CFG.E.dst e) in CFG.iter_succ_e f (cfg.graph) n