added TermToDebugString