Reverse matching of rules in a sequence
Own namespace for productions; simplified construction
Add new dummy rule to limit locations where the (new) start symbol is used to one