MAYBE

Problem:
 a(a(a(a(b(b(x1)))))) -> b(b(a(a(b(b(x1))))))
 b(b(a(a(x1)))) -> a(a(b(b(b(b(x1))))))
 b(b(c(c(a(a(x1)))))) -> c(c(c(c(a(a(a(a(b(b(x1))))))))))

Proof:
 Complexity Transformation Processor:
  strict:
   a(a(a(a(b(b(x1)))))) -> b(b(a(a(b(b(x1))))))
   b(b(a(a(x1)))) -> a(a(b(b(b(b(x1))))))
   b(b(c(c(a(a(x1)))))) -> c(c(c(c(a(a(a(a(b(b(x1))))))))))
  weak:
   
  Open