nalysis_data</a></code></dt></dl><dl><dt class="spec value" id="val-exec_instr"><a href="#val-exec_instr" class="anchor"></a><code><span class="keyword">val</span> exec_instr : <a href="Domain/index.html#type-t">Domain.t</a> <span>&#45;&gt;</span> <a href="index.html#type-analysis_data">analysis_data</a> <span>&#45;&gt;</span> <a href="CFG/Node/index.html#type-t">CFG.Node.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Sil/index.html#type-instr">IR.Sil.instr</a> <span>&#45;&gt;</span> <a href="Domain/inde