MAYBE
MAYBE
TRS:
 {
               f(X1, X2) -> n__f(X1, X2),
              f(g(X), Y) -> f(X, n__f(n__g(X), activate(Y))),
             activate(X) -> X,
  activate(n__f(X1, X2)) -> f(activate(X1), X2),
       activate(n__g(X)) -> g(activate(X)),
                    g(X) -> n__g(X)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                 f(X1, X2) -> n__f(X1, X2),
                f(g(X), Y) -> f(X, n__f(n__g(X), activate(Y))),
               activate(X) -> X,
    activate(n__f(X1, X2)) -> f(activate(X1), X2),
         activate(n__g(X)) -> g(activate(X)),
                      g(X) -> n__g(X)
   }
  Fail