adjust traversal docs and examples
fixed example
use a more deterministic execution order when generating examples