test the dfa construction in raptorial-tester