tmenge mit vollständiger Abdeckung wäre diese:
                        </aside>

                </section>

                <section>
                    <h1>Schw&auml;che von Kriterium</h1>
                    <pre><code data-trim>
                    if x &lt; 0 then
                     x = -x
                    end if
                    z = x;
                </code></pre>
                    <ul>
                        <li>$x = -3$ deckt alle Statements ab</li>
                        <li>Problem