moved quickcheck test