add DFA reconstruction