docs: def jump(self, addr):
          """
          Add an exit representing jumping to an address.
          """
          self.inhibit_autoret = True
          self._exit_action(self.state, addr)
          self.successors.add_successor(self.state, addr, self.state.solver.true, 'Ijk_Boring')