Fix automata usage detection