Test.SmartCheck.Extrapolate