tests :: IO [Test]
tests = return [testProperty "round-trip"
                (roundTripTest emptyContext (return z3Solver))]
tests :: IO [Test]
tests = return [testProperty "round-trip"
                (roundTripTest emptyContext (return z3Solver))]
tests = return [testProperty "round-trip"
                (roundTripTest emptyContext (return z3Solver))]