nextTablesFormula = newFormula.makeRef(ref);
}
/* translate the subquery */
ExistsLiteral existsLiteral = (ExistsLiteral) literal;
TableSubqueryContext ctx = existsLiteral.ctx();
QueryExpressionContext queryExpressionContext = ctx.subquery().queryExpression();
TranslationVisitor subqueryTranslator = subqueryTranslationVisitor.apply(nextTablesFormula);
Relation subqueryFormula = subqueryTranslator.visitQueryExpression(queryExpressionContext);
Relation prevNewFormula = newFormula;