exercise free_dfa() in tester