LR automaton: 93 states (see nitcc0.lr.dot)