dummy_rotate
.rotate = dummy_rotate
__rb_insert(node, root, dummy_rotate);
____rb_erase_color(rebalance, root, dummy_rotate);
.rotate = dummy_rotate
__rb_insert(node, root, dummy_rotate);
____rb_erase_color(rebalance, root, dummy_rotate);