Failing quickcheck tests