<div dir="ltr">Hi Kris,<div><br></div><div style>just a short answer for now:</div><div style><br></div><div style>At line 1229, I wonder why the immediate additions don&#39;t get normalized to e.g. using <font face="courier new, monospace">SubI</font> exclusively (<font face="courier new, monospace">AddI</font> doesn&#39;t cover <font face="courier new, monospace">const-var</font>). This surely isn&#39;t something to be done now, just a general question of mine.</div>
<div style><br></div>Maybe you could change in addition to <font face="courier new, monospace">(arraylength &gt; 0)</font> also <font face="courier new, monospace">(arraylength != 0)</font> into <font face="courier new, monospace">(arraylength u&gt; 0)</font>?<div style>
<br></div><div><div><div>Regards, </div><div>Martin.<br><div><br></div></div></div></div></div>