Re-enable instance model checks #2962
Description
Summary
There is a class org.osate.aadl2.instantiation.CheckInstanceSemanticsSwitch that used to run additional checks after model instantiation. Currently most code is commented out. Review the code and decide which checks are still needed/useful and should be enabled.
Desktop (please complete the following information):
- OSATE Version: 2.17.0
- Operating System: all