Called by ABSTRACT_BACKTRACKING to let
the current object switch to the next state
to explore.
Two actions must be performed by that feature:
- make iteration actions and then call
'pop_sequence' if this is the last state
to be explored.
- select the state to be evaluated or
call 'continue' or call 'backtrack'.