add re2dfa