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