Well, the problem is that we cannot analyze productions where
{| ... |} is used. It would be good to be conservative here, but
we have a grammar that fails because of that so until we come
with a better solution I relax a bit the looping check to
admit such grammars.