code: public Variable newVariable() {
      if (this.miniSat == null && this.cleaneLing == null)
        return this.f.newCCVariable();
      else if (this.miniSat != null) {
        final int index = this.miniSat.underlyingSolver().newVar(!this.miniSat.initialPhase(), true);
        final String name = FormulaFactory.CC_PREFIX + "MINISAT_" + index;
        this.miniSat.underlyingSolver().addName(name, index);
        return new EncodingAuxiliaryVariable(name, false);
      } else
        return new EncodingAuxiliaryVariable(this.cleaneLing.createNewVariableOnSolver(FormulaFactory.CC_PREFIX + "CLEANELING"), false);
    }
docs: Returns a new auxiliary variable.
  @return a new auxiliary variable