made test dfa more complex