-(* | AttributedTerm (`Href _, term) when print_attributes ->
- sprintf "#[%s]" (pp_term term)
- | AttributedTerm (_, term) when print_attributes ->
- sprintf "@[%s]" (pp_term term) *)
+ | AttributedTerm (`Href _, term) when debug_printing ->
+ sprintf "#[%s]" (pp_term ~pp_parens:false term)
+ | AttributedTerm (`IdRef id, term) when debug_printing ->
+ sprintf "x(%s)[%s]" id (pp_term ~pp_parens:false term)
+ | AttributedTerm (_, term) when debug_printing ->
+ sprintf "@[%s]" (pp_term ~pp_parens:false term)