Re: [Yhc] Testing QuickCheck properties with Yhc