splay tree modification