Require error fixed. Test works fine shows the initial automaton state