195       UnprocessedSubVals.push(Val);  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()
269     UnprocessedSubVals.push(Val);  in buildBooleanFormula()
291         UnprocessedSubVals.push(&C->getLeftSubValue());  in buildBooleanFormula()
301         UnprocessedSubVals.push(&C->getLeftSubValue());  in buildBooleanFormula()
302         UnprocessedSubVals.push(&C->getRightSubValue());  in buildBooleanFormula()
316         UnprocessedSubVals.push(&D->getLeftSubValue());  in buildBooleanFormula()
326         UnprocessedSubVals.push(&D->getLeftSubValue());  in buildBooleanFormula()
327         UnprocessedSubVals.push(&D->getRightSubValue());  in buildBooleanFormula()
339       UnprocessedSubVals.push(&N->getSubVal());  in buildBooleanFormula()
353       UnprocessedSubVals.push(&I->getLeftSubValue());  in buildBooleanFormula()
354       UnprocessedSubVals.push(&I->getRightSubValue());  in buildBooleanFormula()
377         UnprocessedSubVals.push(&B->getLeftSubValue());  in buildBooleanFormula()
378         UnprocessedSubVals.push(&B->getRightSubValue());  in buildBooleanFormula()