aFormula :: SMTFormula ZThree -> SolverM ZThree ()
aFormula f = Z.assert =<< toFormula f
aFormula :: SMTFormula ZThree -> SolverM ZThree ()
aFormula f = Z.assert =<< toFormula f
aFormula f = Z.assert =<< toFormula f