QuickCheck project base
Working generator
Properties gen1 and min1