   </section>

                <section>
                    <h1>Anweisungs&uuml;berdeckung</h1>
                    <blockquote style="width:100%">
                        W&auml;hle Testmenge $T$ so, dass jedes Statement in Programm $P$ mindestens einmal ausgef&uuml;hrt wird
                        (für beliebiges $d \in T$)
                    </blockquote>

                    <pre><code data-trim>
                            read (x); read (y);
                            if x > 0 then 
              