Modify smtlib2 parser to accept let expressions inside of terms.