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