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