SET tests are ok
fix AUTOMATON