added splice() method and updated splaytree_splay()