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