MAYBE

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

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