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