MAYBE
Trs:
 {f(g(x)) -> f(a(g(g(f(x))), g(f(x))))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open