Swapped priority queue to increasable priority queue, to avoid
duplicating existing elements.