276       const Variable RightSubVar = GetVar(&C->getRightSubValue());  in buildBooleanFormula()  local
278       if (LeftSubVar == RightSubVar) {  in buildBooleanFormula()
292         Formula.addClause(negLit(Var), posLit(RightSubVar));  in buildBooleanFormula()
293         Formula.addClause(posLit(Var), negLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
301       const Variable RightSubVar = GetVar(&D->getRightSubValue());  in buildBooleanFormula()  local
303       if (LeftSubVar == RightSubVar) {  in buildBooleanFormula()
316         Formula.addClause(negLit(Var), posLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
318         Formula.addClause(posLit(Var), negLit(RightSubVar));  in buildBooleanFormula()
337       const Variable RightSubVar = GetVar(&I->getRightSubValue());  in buildBooleanFormula()  local
344       Formula.addClause(posLit(Var), negLit(RightSubVar));  in buildBooleanFormula()
345       Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
352       const Variable RightSubVar = GetVar(&B->getRightSubValue());  in buildBooleanFormula()  local
354       if (LeftSubVar == RightSubVar) {  in buildBooleanFormula()
366         Formula.addClause(posLit(Var), posLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
367         Formula.addClause(posLit(Var), negLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
368         Formula.addClause(negLit(Var), posLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
369         Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()