Splay tree + Lazy propagation