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