[binary heap] decrease-key part completed