let succ_e cfg n =
  try
    let edges = CFG.succ_e cfg.graph n in
      List.filter (fun e -> (edge_type e) <> Enext) edges
  with Invalid_argument _ ->
    (Wp_parameters.warning "[cfg.succ_e] pb with node %a" pp_node n; [])