// normalize(And(...)) is either an atomic, an or formula or a
// and formula.
// TODO: Parent
Conjunction conj = new Conjunction();
conj.exprs.addAll(newConjuncts);
return (IExpression) conj.accept(this, null);
} else {
// Either an atomic formula or an or formula.
return newConjuncts.get(0);
}
}