Adds a key to the queue with the given priority. If the key is already in the queue, it will be added an additional time, NOT promoted/demoted. @param key @param priority
(E key, double priority)
source not stored for this graph (policy: none)
no test coverage detected