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