<p>True iff skipping (a goal with invocation number <code class="docutils literal notranslate"><span class="pre">N</span></code>) but showing intermediate ports as unleashed.</p>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">dynamic</span></code></div>
</div>
</div>
<div class="line-block">
<div class="line"><strong>Template:</strong></div>
<div class="line-block">
<