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