The strategy determines the order in which nodes in the structure are traversed.
For each node, the strategy returns a non-null but possibly empty iterator over the successors.