add minimalDFA testcase