Update splay_tree.cpp