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