let pdg_name pdg = Kernel_function.get_name (get_pdg_kf pdg)