add assert in splay