MAYBE
TRS:
 {g(a()) -> f(b()),
    h(X) -> g(X),
    f(X) -> h(a()),
     a() -> b()}
 DP:
  Strict:
   {g#(a()) -> f#(b()),
      h#(X) -> g#(X),
      f#(X) -> h#(a()),
      f#(X) -> a#()}
  Weak:
  {g(a()) -> f(b()),
     h(X) -> g(X),
     f(X) -> h(a()),
      a() -> b()}
  EDG:
   {(g#(a()) -> f#(b()), f#(X) -> a#())
    (g#(a()) -> f#(b()), f#(X) -> h#(a()))
    (h#(X) -> g#(X), g#(a()) -> f#(b()))
    (f#(X) -> h#(a()), h#(X) -> g#(X))}
   SCCS:
    Scc:
     {g#(a()) -> f#(b()),
        h#(X) -> g#(X),
        f#(X) -> h#(a())}
    SCC:
     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()}
     Fail