var den: real;
begin

/* fabs(den) <= 0.1 */
if (den <= 1/10 and den >= -1/10) then
skip;
else 
assume not den == 0;
endif;

end