MAYBE

Problem:
 a(b(x)) -> b(b(a(x)))

Proof:
 RT Transformation Processor:
  strict:
   a(b(x)) -> b(b(a(x)))
  weak:
   
  Open