Update SplayTree.h