Test.SmartCheck.Reduce