Simplification: trying to tame `PostOrderIterator::next`