Add quickcheck sources