initial commit for smtlib2