WyRL: Bug fix for Automaton.validate().
The Automaton.validate() method did not consider the case of an empty Set state, which has a negative index.