}
}
if (newLength!=terms.length) {
if (newLength==1) {
output.addClause(new Clause(terms[0], c.isRequired(), c.isProhibited(), c.getConf()));
}
else {
Term[] newTerms=new Term[newLength];
System.arraycopy(terms, 0, newTerms, 0, newLength);
output.addClause(new Clause(new Phrase(newTerms), c.isRequired(), c.isProhibited(), c.getConf()));