In Uppal Port trace,
SaveCCM "internal" nodes (such as "entry", "exit", "wait", "final" etc) share the same graphical representation as user defined Timed Automaton states.
While it is interesting to see the SaveCCM state transitions, it would be nice if there was a distinction between the two types.
For example: The name of the user defined node written in bold. Different color (of the now yellow circle) for different type of node.
And/or, and option to completely hide the SaveCCM states from the trace. How to show activation then goes from ENTRY -> EXIT without going through a user node? (I am using this when the component states idle based on data on input ports.)
...
So, the point is to reduce the visual clutter by removing (or making less striking) the framework information that is anyhow outside of the users' control.
