Working tree balancing with some edge cases and a working iterator