PROBLEM DupSymbol

NONTERMINALS
  NT1.
  NT2.

TERMINALS
  S2. 

RULES
  S1 = S2 . 

MAXIMIZE<<  >>
END DupSymbol.