Addition of dotty version of state graph.