More debug output to delimit automata parsing.
Trivial: drop superfluous dump().
Print out-of-scope events to debug point.