[Analysis] Reachability analysis fails
- Open the simple traffic light
- Activate reachability
- Navigate till the “Behavior” component
Observe that the reachability constraint is marked as “outdated”
Expected: Success or fail but not outdated
(from redmine: issue id 2789, created on 2016-12-19, closed on 2017-01-30)