QuickCheck clone