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