let pred_e cfg n =
  let edges = CFG.pred_e cfg.graph n in
    List.filter (fun e -> (edge_type e) <> Enext) edges