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