DECLARE
x: integer := 0;
y: integer := 3;
BEGIN
FOR i IN 1..y LOOP
x := x+1;
END LOOP;
put(x);
END;
Here is another example input program (example 1): X := 1 Y := 1 X := X + Y Y := X + 1 put Y Here is the output after optimization: put 3 Here is another example input program (example 2): get Y get X X := Y + 1 Y := X * 2 put X put Y The output is the same as the input since no optimization can be done.