defined a set of final tests for SequenceAutomaton