I'm no expert, but note that finite loops were allowed. In the case of any tree or graph traversal, you could replace it by a loop bounded by the tree/graph siz

I'm no expert, but note that finite loops were allowed. In the case of any tree or graph traversal, you could replace it by a loop bounded by the tree/graph size plus an if...