toFormula :: SMTFormula ZThree -> SolverM ZThree Z.AST
toFormula Top                      = Z.mkBool True
toFormula :: SMTFormula ZThree -> SolverM ZThree Z.AST
toFormula Top                      = Z.mkBool True
toFormula Top                      = Z.mkBool True