0.00/0.01	YES
0.00/0.02	Input TRS:
0.00/0.02	    1: f(el(x),y) -> f(x,el(y))
0.00/0.02	    2: f(x,y) ->= f(l(x),y)
0.00/0.02	    3: f(x,y) ->= f(x,r(y))
0.00/0.02	    4: l(el(x)) ->= el(l(x))
0.00/0.02	    5: el(r(x)) ->= r(el(x))
0.00/0.02	Number of strict rules: 1
0.00/0.02	Direct POLO(bPol) ... removes: 1
0.00/0.02	      r 	w: x1
0.00/0.02	      l 	w: x1
0.00/0.02	      f 	w: 2 * x1 + x2
0.00/0.02	      el	w: x1 + 1
0.00/0.02	Number of strict rules: 0
0.00/0.02	EOF