Benchmark for the other variant of the chained nonterminals.

This has the loop on the outside, like this:

S ::= epsilon | C S
C ::= ...
... ::= E
E ::= 'a'