Add explicit label to node, prevents segfault
Add create_dot option
Double escape newline

Needed for dot output, does not affect pdf output.
Add verbose names and state IDs
Make the graph directed
Add 'all' fake node if needed
Merge updated graph generation