the top of the priority queue is the greatest element by default, but we want the smallest, so flip the sign
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected