Add QuickCheck-like test case