nment to a logical variable and the assignement of that logical variable to a program variable. For instance the following SIL program</p><pre>    n$0 = *&amp;x.f
    _ = delete(&amp;x)
    *&amp;y = n$0</pre><p>becomes</p><pre>    _ = delete(&amp;x)
    *&amp;y = *&amp;x.f</pre><p>The latter is a use-after-delete of &amp;x whereas the original SIL program is well behaved.</p><p>Only use HIL if that is not something your checker needs to care about.</p></header><h3 class="heading">Parameters</h3><ul><li><co