Symbol: min_heap_elem_greater