                 <div style="float:left; width:100%">
                            <pre><code data-trim>
                            if (c1 and c2) then
                                st;
                            else
                                sf;
                            end if
                        </code></pre>

                        <ul>
                                <li>St&auml;rkeres Kriterium als Zweig&uuml;berdeckung.</li>
                            </ul>

                        