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