MIRA: statistic not correct
To test:
- Open SimpleTrafficLightsExample
- Open analysis node “TL-Requirements”
- In the statistic, 2 use cases and 1 requirement are listed. The model has 1 use case and 2 requirements
(from redmine: issue id 2422, created on 2015-09-04, closed on 2015-09-30)