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