Consider the following program:
function mu(a,b:integer) returns integer;
var i,y: integer;
begin
---------P----------
i = 0; y = 0;
while (i < a) do
begin --------Q------------
y := y + b ;
i = i + 1
end
return y
end
Write a condition P such that the program terminates, and a condition Q which is
true whenever program execution reaches the place marked Q above.
