MAYBE
TRS:
 {h() -> g(),
  g() -> h(),
  c() -> d()}
 RUF:
  Strict:
   {h() -> g(),
    g() -> h()}
  Weak:
   {}
  DP:
   Strict:
    {h#() -> g#(),
     g#() -> h#()}
   Weak:
   {h() -> g(),
    g() -> h()}
   EDG:
    {(g#() -> h#(), h#() -> g#())
     (h#() -> g#(), g#() -> h#())}
    SCCS:
     Scc:
      {h#() -> g#(),
       g#() -> h#()}
     SCC:
      Strict:
       {h#() -> g#(),
        g#() -> h#()}
      Weak:
      {h() -> g(),
       g() -> h()}
      Fail