}
public Object visit(final RIFFormula n, final IRuleNode argu) {
switch (n.f0.which) {
case 0:
final NodeListOptional andFormulas = (NodeListOptional) ((List<INode>) n.f0.choice
.accept(this, argu)).get(2);
final Conjunction conj = new Conjunction();
conj.setParent(argu);
for (final INode node : (List<INode>) andFormulas
.accept(this, conj))
conj.addExpr((IExpression) node.accept(this, conj));
return conj;
case 1:
final NodeListOptional orFormulas = (NodeListOptional) ((List<INode>) n.f0.choice
.accept(this, argu)).get(2);
final Disjunction disj = new Disjunction();
disj.setParent(argu);
for (final INode node : (List<INode>) orFormulas.accept(this, disj))
disj.addExpr((IExpression) node.accept(this, disj));
return disj;
case 2:
final List<INode> existINodes = (List<INode>) n.f0.choice.accept(
this, argu);