added set-definitions to smtLib2 but isnt smtlib compliant...