[boost] [Container] Priority Deque - Refinement