MAYBE

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

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