MAYBE
Time: 0.004941
TRS:
 {      g a() -> b(),
          a() -> g c(),
  f(g X, b()) -> f(a(), X)}
 DP:
  DP:
   {        a#() -> g# c(),
    f#(g X, b()) -> a#(),
    f#(g X, b()) -> f#(a(), X)}
  TRS:
  {      g a() -> b(),
           a() -> g c(),
   f(g X, b()) -> f(a(), X)}
  EDG:
   {(f#(g X, b()) -> a#(), a#() -> g# c())
    (f#(g X, b()) -> f#(a(), X), f#(g X, b()) -> a#())
    (f#(g X, b()) -> f#(a(), X), f#(g X, b()) -> f#(a(), X))}
   STATUS:
    arrows: 0.666667
    SCCS (1):
     Scc:
      {f#(g X, b()) -> f#(a(), X)}
     
     SCC (1):
      Strict:
       {f#(g X, b()) -> f#(a(), X)}
      Weak:
      {      g a() -> b(),
               a() -> g c(),
       f(g X, b()) -> f(a(), X)}
      Open