MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   f(h(x),y) -> h(f(y,f(x,h(a()))))
  weak:
   
  Open