remove is_not_empty method from PriorityQueue

Same rationale as #4586.