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