Symbol: min_heap_test_case