+ final = curr
+ print "digraph {"
+ if (init == final) {
+ printf \
+ "\"%s\" [penwidth=10, style=filled, fillcolor=tomato , fontcolor=white, color=yellowgreen];\n", \
+ init
+ } else {
+ printf \
+ "\"%s\" [penwidth=0, style=filled, fillcolor=yellowgreen, fontcolor=white];\n", \
+ init
+ printf \
+ "\"%s\" [penwidth=0, style=filled, fillcolor=tomato , fontcolor=white];\n", \
+ final
+ }
+