Add quickcheck