GraphViz: Don't repeat nodes, use a better label.
Use correct colors, clean up GraphVizWriter