killed automaton
Merge pull request #250 from frenetic-lang/kill-automaton

killed automaton