}
newFormula = newFormula.select(tablesRelation.value.columns(), false);
newFormula = newFormula.withExpandedColumns(ec);
if (!positive) {
newFormula = prevNewFormula.except(newFormula, false); // TODO removeDuplicates?
}
} else {
subqueryFreeLiterals.add(literal);
}
}