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