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