Updating: improving libats/linheap_binomial2