AST tmp172_AST = null; tmp172_AST = astFactory.create(LT(1)); astFactory.makeASTRoot(currentAST, tmp172_AST); match(LITERAL_some);
{ switch ( LA(1)) { case LITERAL_some: { AST tmp174_AST = null; tmp174_AST = astFactory.create(LT(1)); astFactory.makeASTRoot(currentAST, tmp174_AST); match(LITERAL_some); break; } case LITERAL_every: { AST tmp175_AST = null; tmp175_AST = astFactory.create(LT(1)); astFactory.makeASTRoot(currentAST, tmp175_AST); match(LITERAL_every); break; } default: { throw new NoViableAltException(LT(1), getFilename()); } } }
	public final void quantifiedExpr() throws RecognitionException, TokenStreamException {				returnAST = null;		ASTPair currentAST = new ASTPair();		AST quantifiedExpr_AST = null;				AST tmp172_AST = null;		tmp172_AST = astFactory.create(LT(1));		astFactory.makeASTRoot(currentAST, tmp172_AST);		match(LITERAL_some);		quantifiedInVarBinding();		astFactory.addASTChild(currentAST, returnAST);		{		_loop92:		do {			if ((LA(1)==COMMA)) {				match(COMMA);				quantifiedInVarBinding();				astFactory.addASTChild(currentAST, returnAST);			}			else {				break _loop92;			}					} while (true);		}		match(LITERAL_satisfies);		exprSingle();		astFactory.addASTChild(currentAST, returnAST);		quantifiedExpr_AST = (AST)currentAST.root;		returnAST = quantifiedExpr_AST;	}