code: def successors(self, state, addr=None, jumpkind=None, default_engine=False, procedure_engine=False,
                     engines=None, **kwargs):
          
          if addr is not None or jumpkind is not None:
              state = state.copy()
              if addr is not None:
                  state.ip = addr
              if jumpkind is not None:
                  state.history.jumpkind = jumpkind
  
          if default_engine and self.has_default_engine():
              engines = [self.default_engine]
          elif procedure_engine and self.has_procedure_engine():
              engines = [self.procedure_engine]
          elif engines is None:
              engines = (self.get_plugin(name) for name in self.order)
          else:
              engines = (self.get_plugin(e) if isinstance(e, str) else e for e in engines)
  
          for engine in engines:
              if engine.check(state, **kwargs):
                  r = engine.process(state, **kwargs)
                  if r.processed:
                      return r
  
          raise AngrExitError("All engines failed to execute!")
docs: Perform execution using any applicable engine. Enumerate the current engines and use the
          first one that works. Engines are enumerated in order, specified by the ``order`` attribute.
  
          :param state:               The state to analyze
          :param addr:                optional, an address to execute at instead of the state's ip
          :param jumpkind:            optional, the jumpkind of the previous exit
          :param default_engine:      Whether we should only attempt to use the default engine (usually VEX)
          :param procedure_engine:    Whether we should only attempt to use the procedure engine
          :param engines:             A list of engines to try to use, instead of the default.
                                      This list is expected to contain engine names or engine instances.
  
          Additional keyword arguments will be passed directly into each engine's process method.
  
          :return SimSuccessors:      A SimSuccessors object classifying the results of the run.