let get_pdg_body pdg = match snd pdg with | PdgDef pdg -> pdg | PdgTop -> raise Top | PdgBottom -> raise Bottom