Binary Heap indexed by AVL Tree