Update Automata.ml