pub type GetAutomataStateForValue<T> = <<T as FiniteAutomataConstructor>::FiniteAutomata as FiniteAutomata<T>>::State;