><span class="p">)</span>
            <span class="n">T_right</span><span class="o">.</span><span class="n">first</span> <span class="o">=</span> <span
            class="n">after_where</span>
            <span class="n">after_where</span><span class="o">.</span><span class="n">pred</span> <span
            class="o">=</span> <span class="n">last</span>
            <span class="n">T_right</span><span class="o">.</span><span class="n">last</span> <span
            class="o">=</span> <span class="n">last</spa