public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) { this.clauseSimplifier = clauseSimplifier; }