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