Test.SmartCheck.Matches