MAYBE
Time: 0.001325
TRS:
 {g a() -> f b(),
    h X -> g X,
    f X -> h a(),
    a() -> b()}
 DP:
  DP:
   {g# a() -> f# b(),
      h# X -> g# X,
      f# X -> h# a(),
      f# X -> a#()}
  TRS:
  {g a() -> f b(),
     h X -> g X,
     f X -> h a(),
     a() -> b()}
  UR:
   {a() -> b()}
   EDG:
    {(g# a() -> f# b(), f# X -> a#())
     (g# a() -> f# b(), f# X -> h# a())
     (f# X -> h# a(), h# X -> g# X)
     (h# X -> g# X, g# a() -> f# b())}
    EDG:
     {(g# a() -> f# b(), f# X -> a#())
      (g# a() -> f# b(), f# X -> h# a())
      (f# X -> h# a(), h# X -> g# X)
      (h# X -> g# X, g# a() -> f# b())}
     EDG:
      {(g# a() -> f# b(), f# X -> a#())
       (g# a() -> f# b(), f# X -> h# a())
       (f# X -> h# a(), h# X -> g# X)
       (h# X -> g# X, g# a() -> f# b())}
      EDG:
       {(g# a() -> f# b(), f# X -> a#())
        (g# a() -> f# b(), f# X -> h# a())
        (f# X -> h# a(), h# X -> g# X)
        (h# X -> g# X, g# a() -> f# b())}
       STATUS:
        arrows: 0.750000
        SCCS (1):
         Scc:
          {g# a() -> f# b(),
             h# X -> g# X,
             f# X -> h# a()}
         
         SCC (3):
          Strict:
           {g# a() -> f# b(),
              h# X -> g# X,
              f# X -> h# a()}
          Weak:
          {g a() -> f b(),
             h X -> g X,
             f X -> h a(),
             a() -> b()}
          Open