all non-set tests working with SMTLIB2-Z3 interface