Update module DFA

almost finish.