public void DestroySalon([PexAssumeUnderTest] Salon target) { target.DestroySalon(); // TODO: add assertions to method SalonTest.DestroySalon(Salon) }