Trivial: '\t' -> "  ".

Tsk, tsp, who did this? :)
Style: additional whitespace.
Add automaton name to GraphViz output.
Extract common code.

All boolean operations have a LHS and a RHS that need to be walked down...
Whitespace.

Why were these functions touching each other?
Drop unnecessary debug output.
Refactor out 'now' parsing.
Add support for parsing field member assignment.

This isn't the instrumentation support yet, but we can parse such assignments and turn them into LLVM IR.