[Termtools] TRS format at TermComp