Step 1 means that the state machine cannot get stuck in an endless loop
and never reach a return state. This could happen
if the transition among a set of states can become circular.
For example, if the transitions among a set of states only in-creased n and the exit from this set of states required that n=100, an endless loop would occur whenever the state machine entered any of these states with n>100.