add splaytree splay operator