made BasicAutomataon.range(Char, Char) faster