</div>
<p>
        Given an abstract value <code class="computeroutput"><span class="identifier">V</span></code>
        and a type <code class="computeroutput"><span class="identifier">T</span></code> with its corresponding
        range <code class="computeroutput"><span class="special">[</span><span class="identifier">abt</span><span class="special">(</span><span class="identifier">l</span><span class="special">),</span><span class="identifier">abt</span><span class="special">(</span><span class="identif