let iter_succ f cfg n =
  let f e =
    match (edge_type e) with Enext -> () | _ -> f (CFG.E.dst e)
  in try CFG.iter_succ_e f (cfg.graph) n
  with Invalid_argument _ -> 
    (Wp_parameters.warning "[cfg.iter_succ] pb with node %a" pp_node n)