wanted non-determinism (from the <code class="docutils literal notranslate"><span class="pre">*exit</span></code> port)</p></li>
<li><p>performance issues due to backtracking (from the <code class="docutils literal notranslate"><span class="pre">*exit</span></code> and
<code class="docutils literal notranslate"><span class="pre">redo</span></code> ports)</p></li>
<li><p>predicates acting like a generator of possible solutions (from the
<code class="docutils literal notranslate"><span class="pre">*exit</span