        y := 5;
                    else    
                        z := z - x;
                    end if;
                    if z > 1 then
                        z := z / x
                    else   
                        z := 0;
                    end if;
                    </code></pre>

                    <ul>
                        <li>Testf&auml;lle:  x = 0, z = 1; x=1, z = 3</li>
                        <li class="fragment">Division durch 0 f&uuml;r x =0, z= 3 wird nicht entdeckt</li>
    