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