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