/* Running Exemple */
/* y in [0,3] */

var x : real, y : real;
begin
assume x <= 10 and x >= 0;
y = x*x - x;
if (y >= 0) then
 y = x/10.0;
else 
 y = x*x + 2;
endif;
end