clean up smtlib
support some smtlib options
repl using execute