automaton trace