193     std::queue<BoolValue *> UnprocessedSubVals;  in buildBooleanFormula()  local
195       UnprocessedSubVals.push(Val);  in buildBooleanFormula()
196     while (!UnprocessedSubVals.empty()) {  in buildBooleanFormula()
198       BoolValue *Val = UnprocessedSubVals.front();  in buildBooleanFormula()
199       UnprocessedSubVals.pop();  in buildBooleanFormula()
209         UnprocessedSubVals.push(&C->getLeftSubValue());  in buildBooleanFormula()
210         UnprocessedSubVals.push(&C->getRightSubValue());  in buildBooleanFormula()
215         UnprocessedSubVals.push(&D->getLeftSubValue());  in buildBooleanFormula()
216         UnprocessedSubVals.push(&D->getRightSubValue());  in buildBooleanFormula()
221         UnprocessedSubVals.push(&N->getSubVal());  in buildBooleanFormula()
226         UnprocessedSubVals.push(&I->getLeftSubValue());  in buildBooleanFormula()
227         UnprocessedSubVals.push(&I->getRightSubValue());  in buildBooleanFormula()
232         UnprocessedSubVals.push(&B->getLeftSubValue());  in buildBooleanFormula()
233         UnprocessedSubVals.push(&B->getRightSubValue());  in buildBooleanFormula()
262   std::queue<BoolValue *> UnprocessedSubVals;  in buildBooleanFormula()  local
264     UnprocessedSubVals.push(Val);  in buildBooleanFormula()
265   while (!UnprocessedSubVals.empty()) {  in buildBooleanFormula()
266     const BoolValue *Val = UnprocessedSubVals.front();  in buildBooleanFormula()
267     UnprocessedSubVals.pop();  in buildBooleanFormula()
286         UnprocessedSubVals.push(&C->getLeftSubValue());  in buildBooleanFormula()
296         UnprocessedSubVals.push(&C->getLeftSubValue());  in buildBooleanFormula()
297         UnprocessedSubVals.push(&C->getRightSubValue());  in buildBooleanFormula()
311         UnprocessedSubVals.push(&D->getLeftSubValue());  in buildBooleanFormula()
321         UnprocessedSubVals.push(&D->getLeftSubValue());  in buildBooleanFormula()
322         UnprocessedSubVals.push(&D->getRightSubValue());  in buildBooleanFormula()
334       UnprocessedSubVals.push(&N->getSubVal());  in buildBooleanFormula()
348       UnprocessedSubVals.push(&I->getLeftSubValue());  in buildBooleanFormula()
349       UnprocessedSubVals.push(&I->getRightSubValue());  in buildBooleanFormula()
372         UnprocessedSubVals.push(&B->getLeftSubValue());  in buildBooleanFormula()
373         UnprocessedSubVals.push(&B->getRightSubValue());  in buildBooleanFormula()