MAYBE
Time: 0.000787
TRS:
 {f(a(), y) -> f(y, g y),
      g a() -> b(),
      g b() -> b()}
 DP:
  DP:
   {f#(a(), y) -> f#(y, g y),
    f#(a(), y) -> g# y}
  TRS:
  {f(a(), y) -> f(y, g y),
       g a() -> b(),
       g b() -> b()}
  UR:
   {  g a() -> b(),
      g b() -> b(),
    c(x, z) -> x,
    c(x, z) -> z}
   EDG:
    {(f#(a(), y) -> f#(y, g y), f#(a(), y) -> f#(y, g y))
     (f#(a(), y) -> f#(y, g y), f#(a(), y) -> g# y)}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {f#(a(), y) -> f#(y, g y)}
      
      SCC (1):
       Strict:
        {f#(a(), y) -> f#(y, g y)}
       Weak:
       {f(a(), y) -> f(y, g y),
            g a() -> b(),
            g b() -> b()}
       Open