Completion of the min heap in Buffer Manager