EnhancedForStmt : BranchTargetStmt ::= VariableDeclaration Expr Stmt;