Adde automaton matching thingy.