MIRA: bug in "change trace type"
- Load Simple TrafficLightsExample
- Change trace type of requirement with source element to undirected
- Change trace type of requirement to directed
- Requirement is contained in source and target of relation