[binary heap] in the mid-way of defining splay function