{a >= 0 and b >= 100}
while b >= 0 do
      a = a+2;
      b = b-2;
end
{a >= 100}