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