splay_tree -> insert OK!