augmenting red black tree