let pdg_name pdg =
  Kernel_function.get_name (get_pdg_kf pdg)