@Override
public void caseAExistsExpression(AExistsExpression node) {
// Special case. Exists is only ever an issue for variables, all
// other expressions unconditionally exist.
PExpression expression = node.getExpression();
if (expression instanceof AVariableExpression) {
expression.apply(this);
if (currentJavaExpression.getType() == Type.VAR_NAME) {
currentJavaExpression = callFindVariable(currentJavaExpression, false);
}
setResult(call(Type.BOOLEAN, "exists", currentJavaExpression));
} else {