ambiguous grammar parsed differently between input and pattern

[adrian-thurston]

The following grammar is parsed differently depending of if we are parsing the input or a pattern. Need to investigate why the come out differently. The exact parse should be not well defined, but they should be identical. Perhaps this is the proof they are not guaranteed equal.

It does involve a redefine, so that may be factoring into it.

tmp.txt
input.txt