0.00/0.35	MAYBE
0.00/0.35	
0.00/0.35	DP problem for innermost termination.
0.00/0.35	P =
0.00/0.35	  eval#(x, y, z) -> eval#(x + y, y - 2, z) [x >= 0]
0.00/0.35	  eval#(I0, I1, I2) -> eval#(I0 + I2, I1 + 1, I2 - 2) [I0 >= 0]
0.00/0.35	R = 
0.00/0.35	  eval(x, y, z) -> eval(x + y, y - 2, z) [x >= 0]
0.00/0.35	  eval(I0, I1, I2) -> eval(I0 + I2, I1 + 1, I2 - 2) [I0 >= 0]
0.00/0.35	
0.00/3.33	EOF