Trifork QuickCheck