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