export augment_dfa()/free_dfa()
fix up edge_search() and augment_dfa()