Added parseSmtlib2String support to parse strings into AST.