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