YES
Input TRS:
      1: 1(q0(1(x1))) -> 0(1(q1(x1)))
      2: 1(q0(0(x1))) -> 0(0(q1(x1)))
      3: 1(q1(1(x1))) -> 1(1(q1(x1)))
      4: 1(q1(0(x1))) -> 1(0(q1(x1)))
      5: 0(q1(x1)) -> q2(1(x1))
      6: 1(q2(x1)) -> q2(1(x1))
      7: 0(q2(x1)) -> 0(q0(x1))
Number of strict rules: 7
Direct POLO(bPol) ... removes: 4 1 3 5 7 6 2
      1 	w: 2 * x1 + 8857
      0 	w: 2 * x1 + 8862
      q1	w: 2 * x1 + 8856
      q2	w: 2 * x1 + 8859
      q0	w: 2 * x1 + 8858
Number of strict rules: 0