add QuickCheck properties to check