Fixes for escape-handling for string literals in SMT-LIBv2 lexer