[Spot] Highlight Words on the Automaton