0.00/0.02	YES
0.00/0.03	Input TRS:
0.00/0.03	    1: top(ok(new(x))) -> top(check(x))
0.00/0.03	    2: top(ok(old(x))) -> top(check(x))
0.00/0.03	    3: bot() ->= new(bot())
0.00/0.03	    4: check(new(x)) ->= new(check(x))
0.00/0.03	    5: check(old(x)) ->= old(check(x))
0.00/0.03	    6: check(old(x)) ->= ok(old(x))
0.00/0.03	    7: new(ok(x)) ->= ok(new(x))
0.00/0.03	    8: old(ok(x)) ->= ok(old(x))
0.00/0.03	Number of strict rules: 2
0.00/0.03	Direct POLO(bPol) ... removes: 2
0.00/0.03	      new	w: x1
0.00/0.03	      top	w: 2 * x1
0.00/0.03	      bot	w: 1
0.00/0.03	      check	w: x1 + 1
0.00/0.03	      ok	w: x1 + 1
0.00/0.03	      old	w: x1 + 1
0.00/0.03	Number of strict rules: 1
0.00/0.03	Direct POLO(bPol) ... removes: 8 1 5 7 6
0.00/0.03	      new	w: 2 * x1
0.00/0.03	      top	w: x1
0.00/0.03	      bot	w: 0
0.00/0.03	      check	w: 2 * x1
0.00/0.03	      ok	w: x1 + 1
0.00/0.03	      old	w: 2 * x1 + 2
0.00/0.03	Number of strict rules: 0
0.00/0.03	EOF