Duplication: InOrderIterator methods `next` and `rewind` now use `pushLeft`