Possible memory leak in pairing_heap... cannot find though