Legend
State node (Comma states)
Transition node (Transient states)
Clause node (Transient states)
Hover on node to see full state