code: def JUMPI(self, dest, cond):
          
          self.pc = Operators.ITEBV(256, cond != 0, dest, self.pc + self.instruction.size)
          #This set ups a check for JMPDEST in the next instruction if cond != 0
          self._set_check_jmpdest(cond != 0)
docs: Conditionally alter the program counter