public void SendCommand( [PexAssumeUnderTest] Salon target, int id, string command ) { target.SendCommand(id, command); // TODO: add assertions to method SalonTest.SendCommand(Salon, Int32, String) }