Candidates for quickcheck-with-counterexamples