Tree-Automata.Ta_impl_codegen