d is to express <code>%r=load(x)+i</code>.</p></td></tr><tr id="type-t.Empty" class="anchored"><td class="def constructor"><a href="#type-t.Empty" class="anchor"></a><code>| </code><code><span class="constructor">Empty</span></code></td><td class="doc"><p>For pruning <code>vector.length</code> with <code>vector::empty()</code> results, we adopt a specific relation between <code>%r</code> and <code>v-&gt;elements</code>, where <code>%r=v.empty()</code>. So, if <code>%r!=0</code>, <code>v</code>'s array lengt