let pdg_name pdg =
  Kernel_function.get_name ( PdgTypes.Pdg.get_kf pdg)