Add quickcheck assignment