MuCheck.Run.QuickCheck