[binary heap] completed the pattern matching splay part