0.00/0.08	MAYBE
0.00/0.08	Input TRS:
0.00/0.08	    1: top(old(x)) -> top(check(x))
0.00/0.08	    2: top(new(x)) -> top(check(x))
0.00/0.08	    3: bot() ->= new(bot())
0.00/0.08	    4: check(new(x)) ->= new(check(x))
0.00/0.08	    5: check(old(x)) ->= old(check(x))
0.00/0.08	    6: check(old(x)) ->= old(x)
0.00/0.08	Number of strict rules: 2
0.00/0.08	Direct POLO(bPol) ... removes: 1
0.00/0.08	      new	w: x1
0.00/0.08	      top	w: x1
0.00/0.08	      bot	w: 1
0.00/0.08	      check	w: x1
0.00/0.08	      old	w: x1 + 4
0.00/0.08	Number of strict rules: 1
0.00/0.08	Direct POLO(bPol) ... removes: 5 6
0.00/0.08	      new	w: 2 * x1
0.00/0.08	      top	w: x1
0.00/0.08	      bot	w: 0
0.00/0.08	      check	w: 2 * x1
0.00/0.08	      old	w: x1 + 1
0.00/0.08	Number of strict rules: 1
0.00/0.08	Direct POLO(bPol) ... failed.
0.00/0.08	Uncurrying ... failed.
0.00/0.08	Dependency Pairs:
0.00/0.08	   #1: #top(new(x)) -> #top(check(x))
0.00/0.08	Number of SCCs: 1, DPs: 1
0.00/0.08	  SCC { #1 }
0.00/0.08	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
0.00/0.08	Finding a loop...  failed.
0.00/0.08	EOF