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