changed initial automaton, still bad performances