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