Bugfixes in DFA. Currently minimization is failing in DFA_test