RBTree removal. Not yet working