docs: def successors(self, *args, **kwargs):
          """
          Perform execution using any applicable engine. Enumerate the current engines and use the
          first one that works. Return a SimSuccessors object classifying the results of the run.
  
          :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 inline:          This is an inline execution. Do not bother copying the state.
  
          Additional keyword arguments will be passed directly into each engine's process method.
          """
  
          return self.project.engines.successors(*args, **kwargs)