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