quickcheck improved