[binary heap] refine the partition definition for splay tree