e></dt><dd><p>Substitute symbolic abstract locations and symbolic interval value in the array block. <code>eval_sym</code> is to get substituted interval values and <code>eval_locpath</code> is to get substituted abstract locaion values. It also returns a set of abstract locations containing non-allocsite locations from the substitution results. Since the key of <code>ArrayBlk.t</code> is <code>AbsLoc.Allocsite.t</code>, they cannot be written in this domain.</p></dd></dl><dl><dt class="spec value" id="val-