181       CNF.addClause(F->literal() ? posLit(Var) : negLit(Var));  in buildCNF()
191         builder.addClause({negLit(Var), posLit(LHS)});  in buildCNF()
192         builder.addClause({posLit(Var), negLit(LHS)});  in buildCNF()
197         builder.addClause({negLit(Var), posLit(LHS)});  in buildCNF()
198         builder.addClause({negLit(Var), posLit(RHS)});  in buildCNF()
199         builder.addClause({posLit(Var), negLit(LHS), negLit(RHS)});  in buildCNF()
211         builder.addClause({negLit(Var), posLit(LHS)});  in buildCNF()
212         builder.addClause({posLit(Var), negLit(LHS)});  in buildCNF()
217         builder.addClause({negLit(Var), posLit(LHS), posLit(RHS)});  in buildCNF()
218         builder.addClause({posLit(Var), negLit(LHS)});  in buildCNF()
219         builder.addClause({posLit(Var), negLit(RHS)});  in buildCNF()
229       builder.addClause({negLit(Var), negLit(Operand)});  in buildCNF()
242       builder.addClause({posLit(Var), negLit(RHS)});  in buildCNF()
243       builder.addClause({negLit(Var), negLit(LHS), posLit(RHS)});  in buildCNF()
264       builder.addClause({posLit(Var), negLit(LHS), negLit(RHS)});  in buildCNF()
265       builder.addClause({negLit(Var), posLit(LHS), negLit(RHS)});  in buildCNF()
266       builder.addClause({negLit(Var), negLit(LHS), posLit(RHS)});  in buildCNF()