let iter_vertex f pdg = try let graph = get_graph pdg in G.iter_vertex f graph with Top | Bottom -> ()