rb_tree::insert well tested
erase well tested