Add more automata.