* Spread states from the top left to the bottom right of the diagram
* Spread self-transitions
* Spread transitions sharing the same path (nodeA <-> nodeB)
* Slightly reduce font size of transition labels