fix #10

[wadoon]

This PR fixes issue #10 by refactoring how JML quantified expressions handle variables. Instead of storing variables as Parameter objects, they are now stored as VariableDeclarator objects. This allows the parser to correctly handle multiple quantified variables with shared types (e.g., \forall int I, J; rather than \forall int I, int J;). The change spans 21 files with 302 additions and 107 deletions, including updates to the parser grammar, metamodel, symbol resolution, and test cases.

[github-code-quality]

Code Coverage Overview

Languages: Java

Java / code-coverage/jacoco-ubuntu-latest-21

The overall coverage in commit 7c87ac7 in the weigl/fix10 branch remains at 57%, unchanged from commit caadb91 in the main branch.

Show a code coverage summary of the most impacted files.

File	main caadb91	weigl/fix10 7c87ac7	+/-
com/github/java...hVariables.java	96%	92%	-4%
com/github/java...JavaParser.java	76%	76%	0%
com/github/java...terVisitor.java	77%	77%	0%
com/github/java...tifiedExpr.java	55%	56%	+1%
io/github/jmlto.../JmlExpr2Smt.kt	32%	33%	+1%
com/github/java...Declarator.java	76%	77%	+1%
com/github/java...xprContext.java	91%	92%	+1%
com/github/java...eclaration.java	33%	38%	+5%
com/github/java...xprContext.java	88%	100%	+12%
com/github/java...eclaration.java	0%	59%	+59%

---

_{Updated August 15, 2026 20:02 UTC}