Test module from Automata