Fixed input size for 'QuickCheck' properties