lexer fix: disable smt-lib conversion for string literals