fix test creation DFA