DFA tests added