def to_term(s): return term_parser.parse(s, lexer=lexer)
def to_term(s): return term_parser.parse(s,lexer=lexer)