NodeQueue 558 courgette/adjustment_method.cc NodeQueue worklist_; NodeQueue 559 courgette/adjustment_method.cc NodeQueue unsolved_;