optimization of the constructor of the automaton
remove the equivalent StateRange