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