refactor node traversal

[yshavit]

We have at least two places where we need to traverse the tree. There's some subtlety involved in it because we need to remember to handle cycles. So, let's factor it out to a trait and solve it once.