MAYBE
Time: 0.004058
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))}
   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)}
     Fail