test OmegaTest.solve using QuickCheck
add fromArithRel function to ToySolver.Data.ArithRel module