Modify priority queue: add debug trace