pub fn add_to_convolution<E, F: Symbol, Q: LanguageState<F, E>>(
aut: &mut Automaton<Rank<Convoluted<F>>, Convoluted<Q>, NoLabel>,
state: &Convoluted<Q>,
env: &E,
)pub fn add_to_convolution<E, F: Symbol, Q: LanguageState<F, E>>(
aut: &mut Automaton<Rank<Convoluted<F>>, Convoluted<Q>, NoLabel>,
state: &Convoluted<Q>,
env: &E,
)