let get_internal_edges cfg n = let n_after = node_after cfg n in let edges = pred_e cfg n_after in let set = Eset.empty in let set = List.fold_left (add_edges_before cfg n) set edges in edges, set