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