Fixes for model size computation
requested 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.