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