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