/* InterL2 */
/* x = 1/10 */

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