Simplification: still trying to tame `SplayTree::splay`.