fix graphviz for strange state names
add graphviz-rendering of adding machine