redone: dfa: fix matching bugs