MAYBE

Problem:
 f(h(x),y) -> h(f(y,f(x,h(a()))))

Proof:
 DP Processor:
  DPs:
   f#(h(x),y) -> f#(x,h(a()))
   f#(h(x),y) -> f#(y,f(x,h(a())))
  TRS:
   f(h(x),y) -> h(f(y,f(x,h(a()))))
  Restore Modifier:
   DPs:
    f#(h(x),y) -> f#(x,h(a()))
    f#(h(x),y) -> f#(y,f(x,h(a())))
   TRS:
    f(h(x),y) -> h(f(y,f(x,h(a()))))
   SCC Processor:
    #sccs: 1
    #rules: 2
    #arcs: 4/4
    DPs:
     f#(h(x),y) -> f#(x,h(a()))
     f#(h(x),y) -> f#(y,f(x,h(a())))
    TRS:
     f(h(x),y) -> h(f(y,f(x,h(a()))))
    Open