Fixes for model size computation
Fix a bug with lambda parameter and guard parameter instances counting. Added a limit on the number of states that can be explicitly instantiated, to avoid memory issues with goal size computation.
GitLab upgrade completed. Current version is 18.6.4
https://about.gitlab.com/releases/2025/11/20/gitlab-18-6-released/
Fix a bug with lambda parameter and guard parameter instances counting. Added a limit on the number of states that can be explicitly instantiated, to avoid memory issues with goal size computation.