return the next index
sending the next
to command the next
from SymbolsBaseNode GetNext
an error, go to the next [...] TO the next step. *)
GetFirstApp (Function) AppGetNext
from LeafTreeNode GetNext
_ContainsReversal (Function) Trj_DynStateNext (Function) Trj_DynStateNext