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