doctests for TermSetAdapter base class
doctests for Lexer2TermSetParser