adding quickcheck project