splay_tree delete is done!