Add a subtree dedicated to verification traces (AUT)
With realistic models, we tend to have many traces for each safety verification. It would be better to reduce/remove/move the space occupied by those traces in the reachability left tree? Two ideas:
- have an icon just next to pragmas, that would allow to open or to analyze the trace. Maybe simply a "t" at the right? But we should find a way to do it also for deadlocks and internal action loops.
- have one subtree of dedicated to verification traces, where elements can be easily managed
Also, both of them could be implemented.