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