Test.LazySmallCheck