This function deletes key at index i. It first reduced value to minus * infinite, then calls extractMin() */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected