Add an example of a grammar requiring memoization