MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   a(b(x1)) -> b(c(a(x1)))
   b(c(x1)) -> c(b(b(x1)))
   c(a(x1)) -> a(c(x1))
  weak:
   
  Bounds Processor:
   bound: 2
   enrichment: match
   automaton:
    final states: {4}
    transitions:
     b1(11) -> 12*
     b1(78) -> 79*
     c1(10) -> 11*
     c1(99) -> 100*
     c1(110) -> 111*
     a1(35) -> 36*
     a1(9) -> 10*
     a1(100) -> 101*
     a2(354) -> 355*
     a2(381) -> 382*
     a2(326) -> 327*
     a2(283) -> 284*
     a2(253) -> 254*
     a2(41) -> 42*
     a2(190) -> 191*
     a2(125) -> 126*
     a0(4) -> 4*
     c2(252) -> 253*
     c2(42) -> 43*
     c2(189) -> 190*
     c2(124) -> 125*
     c2(84) -> 85*
     c2(69) -> 70*
     c2(353) -> 354*
     c2(380) -> 381*
     c2(133) -> 134*
     c2(325) -> 326*
     c2(427) -> 428*
     c2(282) -> 283*
     b0(4) -> 4*
     b2(132) -> 133*
     b2(82) -> 83*
     b2(67) -> 68*
     b2(131) -> 132*
     b2(233) -> 234*
     b2(183) -> 184*
     b2(83) -> 84*
     b2(68) -> 69*
     b2(43) -> 44*
     c0(4) -> 4*
     4 -> 78,9
     9 -> 110*
     10 -> 67*
     11 -> 41,35
     12 -> 10,4
     35 -> 99*
     36 -> 10*
     41 -> 124*
     42 -> 82*
     44 -> 10*
     69 -> 131*
     70 -> 79,12
     79 -> 68*
     84 -> 183*
     85 -> 44*
     100 -> 189*
     101 -> 111,11
     111 -> 100*
     126 -> 43*
     133 -> 233*
     134 -> 234,133,132,69,4,79
     184 -> 68*
     190 -> 252*
     191 -> 190,100,125
     234 -> 132*
     253 -> 282*
     254 -> 253,190
     283 -> 325*
     284 -> 283,253
     326 -> 353*
     327 -> 326,283
     354 -> 380*
     355 -> 354,326
     381 -> 427*
     382 -> 428,381,354
     428 -> 381*
   problem:
    strict:
     b(c(x1)) -> c(b(b(x1)))
     c(a(x1)) -> a(c(x1))
    weak:
     a(b(x1)) -> b(c(a(x1)))
   Open