tests, smtlib print nullary fct