Every call of `Add` is followed with `FixHeight`. `FixHeight` has O(N) complexity because `FixHeight` is a BFS traversal.