{0} is immune to {1} because {0} is automaton ({0} usage left)