706707708709710711712
@Override public Exists visit(ASTExists node, Object data) throws VisitorException { return new Exists((TupleExpr)super.visit(node, data)); }
711712713714715716717