Heap insert() and extract() work properly.