YES
Input TRS:
      1: topB(i,N1(),y) -> topA(1(),T1(),y)
      2: topA(i,x,N2()) -> topB(0(),x,T2())
      3: topB(i,S1(),y) -> topA(i,N1(),y)
      4: topA(i,x,S2()) -> topB(i,x,N2())
      5: topA(i,N1(),T2()) -> topB(i,N1(),S2())
      6: topA(1(),T1(),T2()) -> topB(1(),T1(),S2())
      7: topA(i,N1(),y) ->= topA(1(),T1(),y)
      8: topB(i,x,N2()) ->= topB(0(),x,T2())
      9: topA(i,S1(),y) ->= topA(i,N1(),y)
      10: topB(i,x,S2()) ->= topB(i,x,N2())
      11: topB(i,N1(),T2()) ->= topB(i,N1(),S2())
      12: topB(1(),T1(),T2()) ->= topB(1(),T1(),S2())
Number of strict rules: 6
Direct POLO(bPol) ... removes: 4 1 3 5 7 9 6 2
      1 	w: 1
      T1	w: 1
      topB	w: x1 + 2 * x2 + x3
      S1	w: 4
      T2	w: 2998
      0 	w: 0
      topA	w: x1 + 2 * x2 + x3 + 1
      N2	w: 2998
      N1	w: 3
      S2	w: 2998
Number of strict rules: 0