As already mentioned in Example 6, the grammar G constructed there is not prefix-closed.
we can make it prefixclosed by explicitly allowing the "missing" rule instances: We shall now argue that this modification does not actually change the language generated by G .