MAYBE
MAYBE
TRS:
 {
       u(d(), c(Y), X) -> k(Y),
                h(d()) -> c(a()),
                h(d()) -> c(b()),
                  g(X) -> u(h(X), h(X), X),
  f(k(a()), k(b()), X) -> f(X, X, X)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
         u(d(), c(Y), X) -> k(Y),
                  h(d()) -> c(a()),
                  h(d()) -> c(b()),
                    g(X) -> u(h(X), h(X), X),
    f(k(a()), k(b()), X) -> f(X, X, X)
   }
  Fail