Removed optimization pragmas from module PriorityQueue.