MAYBE
MAYBE
TRS:
 {
       h(0(), X) -> f(0(), X, X),
  f(0(), 1(), X) -> h(X, X),
         g(X, Y) -> X,
         g(X, Y) -> Y
 }
 DUP: We consider a duplicating system.
  Trs:
   {
         h(0(), X) -> f(0(), X, X),
    f(0(), 1(), X) -> h(X, X),
           g(X, Y) -> X,
           g(X, Y) -> Y
   }
  Fail