adding quickcheck module