expectation to see DFA in current list - RED