s="keyword">case</span>
                    <span class="identifier">name</span><span class="special">&gt;:</span>
                    <span class="identifier">critical</span> <span class="identifier">check</span>
                    <span class="special">&lt;</span><span class="identifier">assertion</span>
                    <span class="identifier">description</span><span class="special">&gt;</span>
                    <span class="identifier">failed</span></code>
                  </p>
                <