| AttributedTerm (_, term) when debug_printing ->
sprintf "@[%s]" (pp_term ~pp_parens:false term)
| AttributedTerm (`Raw text, _) -> text
| AttributedTerm (_, term) when debug_printing ->
sprintf "@[%s]" (pp_term ~pp_parens:false term)
| AttributedTerm (`Raw text, _) -> text