+tests for utils, determine_automaton migrated there too