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