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