add_to_heap/4