Add first QuickCheck property.