Extracted automaton module to a new repo