newClauses.addAll(cI.getFactors());
newClauses.addAll(cJ.getFactors());
Set<Clause> cIresolvents = cI.binaryResolvents(cJ);
Set<Clause> cJresolvents = cJ.binaryResolvents(cI);
if (!cIresolvents.equals(cJresolvents)) {
System.err.println("cI=" + cI);
System.err.println("cJ=" + cJ);
System.err.println("cIR=" + cIresolvents);
System.err.println("cJR=" + cJresolvents);