docs: MemoEntry getMemo(String production, int position) {
  	Map<String, MemoEntry> map = memo.get(position);
  	if (map == null)
  	    return null;
  	MemoEntry memo = map.get(production);
  	if (memo == null)
  	    return null;
  	return memo;
      }