'Gets the successors to the current state by step, saves copy of state and finally stashes new unconstrained states
to manager.
:param SimState state:          Current state to step on from
:returns SimSuccessors:         The SimSuccessors object'

def _get_successors(self, state):

    size_of_next_irsb = self._cfg.get_any_node(state.addr).size
    return self.project.factory.successors(state, size=size_of_next_irsb)
