MAYBE
Time: 0.012380
TRS:
 {h() -> g(),
  g() -> h(),
  c() -> d()}
 DP:
  DP:
   {h#() -> g#(),
    g#() -> h#()}
  TRS:
  {h() -> g(),
   g() -> h(),
   c() -> d()}
  UR:
   {}
   EDG:
    {(g#() -> h#(), h#() -> g#())
     (h#() -> g#(), g#() -> h#())}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {h#() -> g#(),
        g#() -> h#()}
      
      SCC (2):
       Strict:
        {h#() -> g#(),
         g#() -> h#()}
       Weak:
       {h() -> g(),
        g() -> h(),
        c() -> d()}
       Fail