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