Simplification: still trying to tame `PostOrderIterator::next`