YES

Problem:
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1)))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))

Proof:
 Bounds Processor:
  bound: 1
  enrichment: match
  automaton:
   final states: {33,26,19,12,1}
   transitions:
    11(60) -> 61*
    11(55) -> 56*
    11(162) -> 163*
    11(112) -> 113*
    11(107) -> 108*
    11(57) -> 58*
    11(52) -> 53*
    11(164) -> 165*
    11(159) -> 160*
    11(109) -> 110*
    11(104) -> 105*
    11(84) -> 85*
    11(161) -> 162*
    11(156) -> 157*
    11(136) -> 137*
    11(86) -> 87*
    11(81) -> 82*
    11(138) -> 139*
    11(133) -> 134*
    11(83) -> 84*
    11(78) -> 79*
    11(58) -> 59*
    11(135) -> 136*
    11(130) -> 131*
    11(110) -> 111*
    21(182) -> 183*
    21(137) -> 138*
    21(132) -> 133*
    21(77) -> 78*
    21(62) -> 63*
    21(174) -> 175*
    21(129) -> 130*
    21(114) -> 115*
    21(59) -> 60*
    21(54) -> 55*
    21(166) -> 167*
    21(111) -> 112*
    21(106) -> 107*
    21(51) -> 52*
    21(178) -> 179*
    21(163) -> 164*
    21(158) -> 159*
    21(103) -> 104*
    21(88) -> 89*
    21(170) -> 171*
    21(155) -> 156*
    21(140) -> 141*
    21(85) -> 86*
    21(80) -> 81*
    01(157) -> 158*
    01(82) -> 83*
    01(134) -> 135*
    01(79) -> 80*
    01(131) -> 132*
    01(56) -> 57*
    01(108) -> 109*
    01(53) -> 54*
    01(160) -> 161*
    01(105) -> 106*
    f30() -> 2*
    10(30) -> 31*
    10(25) -> 19*
    10(20) -> 21*
    10(15) -> 16*
    10(37) -> 38*
    10(32) -> 26*
    10(27) -> 28*
    10(22) -> 23*
    10(39) -> 33*
    10(34) -> 35*
    10(29) -> 30*
    10(9) -> 10*
    10(36) -> 37*
    10(16) -> 17*
    10(11) -> 1*
    10(6) -> 7*
    10(23) -> 24*
    10(18) -> 12*
    10(13) -> 14*
    10(8) -> 9*
    10(3) -> 4*
    20(15) -> 20*
    20(10) -> 11*
    20(5) -> 6*
    20(22) -> 27*
    20(17) -> 18*
    20(2) -> 3*
    20(29) -> 34*
    20(24) -> 25*
    20(31) -> 32*
    20(38) -> 39*
    20(8) -> 13*
    00(35) -> 36*
    00(7) -> 8*
    00(14) -> 15*
    00(4) -> 5*
    00(21) -> 22*
    00(28) -> 29*
    1 -> 5*
    11 -> 51*
    12 -> 5*
    18 -> 170*
    19 -> 5*
    25 -> 174*
    26 -> 5*
    32 -> 178*
    33 -> 5*
    39 -> 182*
    57 -> 62*
    60 -> 77*
    61 -> 8*
    63 -> 55*
    83 -> 88*
    86 -> 103*
    87 -> 15*
    89 -> 81*
    109 -> 114*
    112 -> 129*
    113 -> 22*
    115 -> 107*
    135 -> 140*
    138 -> 155*
    139 -> 29*
    141 -> 133*
    161 -> 166*
    165 -> 36*
    167 -> 159*
    171 -> 52*
    175 -> 52*
    179 -> 52*
    183 -> 52*
  problem:
   
  Qed