public int GetClientNbr([PexAssumeUnderTest] Salon target) { int result = target.GetClientNbr(); return(result); // TODO: add assertions to method SalonTest.GetClientNbr(Salon) }