let fold_succ f cfg n acc =
  let f e acc =
    match (edge_type e) with Enext -> acc | _ -> f (CFG.E.dst e) acc
  in CFG.fold_succ_e f (cfg.graph) n acc