+ graphviz string generation for easier debugging