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