== 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
   * Hide `__atomic_lock_var`/`__heap` when possible
   * Unfold variables of a dyscope by default
   * Unfold process states by default
   * Show exact one highlight for the current focus
   * Show the hierarchy of the heap if it is not empty
   * Unfold the dyscope when the dyscope of a stack entry of a process is clicked