n class="identifier">x</span>
            <span class="special">&lt;</span> <span class="number">3</span></code>,
            the <code class="computeroutput"><span class="identifier">y</span> <span class="special">&lt;</span>
            <span class="number">2</span></code> test is not done at all. In addition
            to providing an implicit priority rule for alternatives which is necessary,
            given its non-deterministic nature, short-circuiting improves the execution
            time. If th