[Analysis] Contract for bound verification
Implement bound verification in a contract manner: constraint should be checked only at the level of composite components, and not be re-checked if only a subcomponent has been modified.
(from redmine: issue id 2694, created on 2016-09-19, closed on 2017-01-30)
- Relations:
- relates #2603 (closed)
- relates #2706 (closed)