Update module DFA