test3.out

this is a lp0 compilator new

::::::::::::::
test3.pas
::::::::::::::
PROGRAM Compx_Test;

VAR
  x, y, j 		: INTEGER;

BEGIN

   x := 10;
   y := 20;

   FOR j := 1 TO ( x + y + 2 ) DO
      FOR i := 1 to j DO 
         BEGIN
            y := y + 1;
            x := x + y;
         END;

END.

::::::::::::::
compx.sym
::::::::::::::


Symbol Table for Pascal source code...
-----------------------------------
1(undefined)
10(undefined)
2(undefined)
20(undefined)
compx_test(program)
i(undefined)
integer(undefined)
j(variable)
x(variable)
y(variable)

::::::::::::::
compx.mpl
::::::::::::::
assign ( rsolve ( f(n)=1+1+1+1+1+1+1+1+sum (1+1+sum (1+1+1+1+1+1, i=1..j), j=1..( x+y+2 )), f(n) ) );