_loop92:
_loop94:
	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;	}