Found a min() bug at least in BinomialHeap.