MAYBE
Time: 0.012330
TRS:
 {h f(x, y) -> f(y, f(h h x, a()))}
 DP:
  DP:
   {h# f(x, y) -> h# x,
    h# f(x, y) -> h# h x}
  TRS:
  {h f(x, y) -> f(y, f(h h x, a()))}
  UR:
   {h f(x, y) -> f(y, f(h h x, a()))}
   EDG:
    {(h# f(x, y) -> h# h x, h# f(x, y) -> h# h x)
     (h# f(x, y) -> h# h x, h# f(x, y) -> h# x)
     (h# f(x, y) -> h# x, h# f(x, y) -> h# x)
     (h# f(x, y) -> h# x, h# f(x, y) -> h# h x)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {h# f(x, y) -> h# x,
        h# f(x, y) -> h# h x}
      
      SCC (2):
       Strict:
        {h# f(x, y) -> h# x,
         h# f(x, y) -> h# h x}
       Weak:
       {h f(x, y) -> f(y, f(h h x, a()))}
       Open