[Analysis] Allows to model-check models containing functions referring to structures
(from redmine: issue id 2299, created on 2015-02-18, closed on 2017-01-30)
- Relations:
- relates #2195 (closed)
- Uploads:
(from redmine: issue id 2299, created on 2015-02-18, closed on 2017-01-30)