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