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