CC-King QuickCheck