Add logic in automaton to bail out quickly if there no transiton starting from a given state