VariableQueue     796 courgette/adjustment_method_2.cc   DISALLOW_COPY_AND_ASSIGN(VariableQueue);
VariableQueue    1173 courgette/adjustment_method_2.cc     const VariableQueue::ScoreAndLabel best = variable_queue_.first();
VariableQueue    1210 courgette/adjustment_method_2.cc   VariableQueue variable_queue_;