Splay trees library modification and its integration into ThreadedTimeWarp