adding quickcheck test