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