automata v0.1.0 Automaton.Reasoning