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