== CIVL Trace Viewer ==

- Components
   * Transition
     - Contains a number of steps
     - Clicked: show the final state of the transition on the right
     - Possible to fold/unfold all transition (3)
   * Step
     - Contains the statement and the target state
     - Clicked: show the target state on the right
   * State
     - Contains a dyscope tree and a list of processes
     - Unfold all nodes by default (including dysopes, processes)
     - Use identifier of dyscopes/processes
     - Possible to fold/unfold all subnodes of a state

- Features
   * Remember (folding/unfolding) structure of states
   *