MAYBE
MAYBE
TRS:
 {   f() -> f(),
  g(b()) -> c(),
     b() -> c()}
 Fail