Automaton traversal but UI bugs