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