YES

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

Proof:
 Bounds Processor:
  bound: 1
  enrichment: match
  automaton:
   final states: {3,2,1}
   transitions:
    01(247) -> 248*
    01(232) -> 233*
    01(222) -> 223*
    01(10) -> 11*
    01(197) -> 198*
    01(192) -> 193*
    01(157) -> 158*
    01(324) -> 325*
    01(314) -> 315*
    01(112) -> 113*
    01(107) -> 108*
    01(102) -> 103*
    01(274) -> 275*
    01(239) -> 240*
    01(17) -> 18*
    01(7) -> 8*
    01(179) -> 180*
    01(144) -> 145*
    01(331) -> 332*
    01(311) -> 312*
    01(94) -> 95*
    01(281) -> 282*
    01(251) -> 252*
    01(246) -> 247*
    01(231) -> 232*
    01(14) -> 15*
    01(201) -> 202*
    01(191) -> 192*
    01(186) -> 187*
    01(181) -> 182*
    01(161) -> 162*
    01(156) -> 157*
    01(101) -> 102*
    01(273) -> 274*
    01(233) -> 234*
    01(228) -> 229*
    01(16) -> 17*
    01(198) -> 199*
    01(178) -> 179*
    01(325) -> 326*
    01(315) -> 316*
    01(310) -> 311*
    01(108) -> 109*
    01(280) -> 281*
    01(275) -> 276*
    01(240) -> 241*
    01(8) -> 9*
    01(200) -> 201*
    01(185) -> 186*
    01(160) -> 161*
    01(332) -> 333*
    01(327) -> 328*
    01(100) -> 101*
    21(237) -> 238*
    21(20) -> 21*
    21(15) -> 16*
    21(5) -> 6*
    21(187) -> 188*
    21(182) -> 183*
    21(177) -> 178*
    21(354) -> 355*
    21(152) -> 153*
    21(147) -> 148*
    21(329) -> 330*
    21(304) -> 305*
    21(279) -> 280*
    21(249) -> 250*
    21(244) -> 245*
    21(234) -> 235*
    21(229) -> 230*
    21(224) -> 225*
    21(12) -> 13*
    21(204) -> 205*
    21(159) -> 160*
    21(149) -> 150*
    21(326) -> 327*
    21(321) -> 322*
    21(109) -> 110*
    21(306) -> 307*
    21(301) -> 302*
    21(59) -> 60*
    21(241) -> 242*
    21(226) -> 227*
    21(19) -> 20*
    21(151) -> 152*
    21(333) -> 334*
    21(328) -> 329*
    21(323) -> 324*
    21(313) -> 314*
    21(106) -> 107*
    21(303) -> 304*
    21(96) -> 97*
    21(61) -> 62*
    21(243) -> 244*
    21(238) -> 239*
    21(223) -> 224*
    21(11) -> 12*
    21(6) -> 7*
    21(203) -> 204*
    21(183) -> 184*
    21(153) -> 154*
    21(305) -> 306*
    21(245) -> 246*
    21(230) -> 231*
    21(225) -> 226*
    21(180) -> 181*
    21(150) -> 151*
    21(337) -> 338*
    21(322) -> 323*
    21(110) -> 111*
    21(307) -> 308*
    21(95) -> 96*
    11(277) -> 278*
    11(272) -> 273*
    11(242) -> 243*
    11(227) -> 228*
    11(202) -> 203*
    11(334) -> 335*
    11(309) -> 310*
    11(97) -> 98*
    11(199) -> 200*
    11(194) -> 195*
    11(189) -> 190*
    11(184) -> 185*
    11(366) -> 367*
    11(154) -> 155*
    11(104) -> 105*
    11(99) -> 100*
    11(276) -> 277*
    11(271) -> 272*
    11(9) -> 10*
    11(196) -> 197*
    11(368) -> 369*
    11(146) -> 147*
    11(308) -> 309*
    11(278) -> 279*
    11(21) -> 22*
    11(193) -> 194*
    11(188) -> 189*
    11(370) -> 371*
    11(158) -> 159*
    11(148) -> 149*
    11(335) -> 336*
    11(330) -> 331*
    11(103) -> 104*
    11(300) -> 301*
    11(98) -> 99*
    11(270) -> 271*
    11(235) -> 236*
    11(18) -> 19*
    11(13) -> 14*
    11(195) -> 196*
    11(155) -> 156*
    11(352) -> 353*
    11(317) -> 318*
    11(312) -> 313*
    11(105) -> 106*
    11(302) -> 303*
    10(2) -> 1*
    10(1) -> 1*
    10(3) -> 1*
    20(2) -> 2*
    20(1) -> 2*
    20(3) -> 2*
    00(2) -> 3*
    00(1) -> 3*
    00(3) -> 3*
    1 -> 112,59
    2 -> 94,5
    3 -> 144,61
    6 -> 62,96,2,5,94,191,251
    7 -> 270,177
    8 -> 237*
    21 -> 337*
    22 -> 1*
    60 -> 6*
    62 -> 6*
    95 -> 222,146
    96 -> 191*
    97 -> 354*
    109 -> 300*
    111 -> 225,6,2
    113 -> 95*
    145 -> 95*
    150 -> 366*
    162 -> 355,97,178,7,148,60,317,2
    178 -> 352*
    190 -> 109*
    205 -> 249,161
    223 -> 370*
    225 -> 6,97,2,7
    235 -> 321*
    236 -> 160*
    248 -> 203*
    250 -> 7*
    252 -> 8*
    282 -> 368,110
    316 -> 148,60
    318 -> 301*
    336 -> 223*
    338 -> 322*
    353 -> 228*
    355 -> 177*
    367 -> 149*
    369 -> 147*
    371 -> 147*
  problem:
   
  Qed