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