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