left-leaning red-black tree, working