Mentions légales du service

Fixes for model size computation

Maxime Audinotrequested to merge
415-add-a-tool-that-allow-to-estimate-the-size-of-the-model-related-to-the-asset-type into master

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.

Merge request reports