minimal smtlib printer