// And(Fi G1) ... And(Fi Gm)
for (IExpression disjunct : orConjunct.exprs) {
List<IExpression> formulas = new ArrayList<IExpression>();
// TODO: Parent
formulas.add((IExpression) conjunct.accept(this, null));
formulas.add((IExpression) disjunct.accept(this, null));
Conjunction temp = new Conjunction();
temp.exprs.addAll(formulas);
andFormulas.add(temp);