YES
Time: 0.002206
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)}
  UR:
   {a() -> g c()}
   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))}
    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))}
     EDG:
      {(f#(g X, b()) -> a#(), a#() -> g# c())}
      EDG:
       {(f#(g X, b()) -> a#(), a#() -> g# c())}
       STATUS:
        arrows: 0.888889
        SCCS (0):