Added Splay tree usage