Test more difficult cases. Fix problems with decreaseKey()