repl for smtlib, looking too far ahead