____rb_erase_color
____rb_erase_color(parent, root, augment_rotate);
____rb_erase_color(rebalance, root, dummy_rotate);