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