|E| - in the worst case, each new edge we consider could be a better path and could cause a call to reduce_priority. Actually slightly less, because at least one edge per node will be the first path to that node, but that’s a reduction of at most |V| calls.