disj.addExpr((IExpression) node.accept(this, disj));
return disj;
case 2:
final List<INode> existINodes = (List<INode>) n.f0.choice.accept(
this, argu);
final ExistExpression exists = new ExistExpression();
exists.setParent(argu);
for (final INode node : (List<INode>) existINodes.get(1).accept(
this, exists))
exists.addVariable((RuleVariable) node.accept(this, exists));
exists.expr = (IExpression) existINodes.get(3).accept(this, exists);
return exists;
case 3:
return n.f0.choice.accept(this, argu);
default: