let degenerated top kf =
  P.feedback "%s for function %a"
    (if top then "Top" else "Bottom"
    Kernel_function.pretty_name kf;
  if top then PdgTypes.Pdg.top kf else PdgTypes.Pdg.bottom kf