def JUMPI(self, dest, cond):
self.pc = Operators.ITEBV(<NUM_LIT>, cond != <NUM_LIT:0>, dest, self.pc + self.instruction.size)<EOL>self._set_check_jmpdest(cond != <NUM_LIT:0>)<EOL>
Conditionally alter the program counter