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