MAYBE
MAYBE
TRS:
 {
    g(a(), X) -> f(b(), activate(X)),
         h(X) -> g(X, X),
      f(X, X) -> h(a()),
  activate(X) -> X,
          a() -> b()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
      g(a(), X) -> f(b(), activate(X)),
           h(X) -> g(X, X),
        f(X, X) -> h(a()),
    activate(X) -> X,
            a() -> b()
   }
  Fail