MAYBE
MAYBE
TRS:
 {
  g(c(x, s(y))) -> g(c(s(x), y)),
           f(x) -> x,
  f(c(s(x), y)) -> f(c(x, s(y))),
        f(f(x)) -> f(d(f(x)))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
    g(c(x, s(y))) -> g(c(s(x), y)),
             f(x) -> x,
    f(c(s(x), y)) -> f(c(x, s(y))),
          f(f(x)) -> f(d(f(x)))
   }
  Fail