Addition of state transition graph, the dotty version.