lifica para
<code>A.(B.C)</code>.
</p>
</dd></dl>

<dl>
<dt><u>Vari&aacute;vel de op&ccedil;&atilde;o:</u> <b>dotconstrules</b>
<a name="IDX779"></a>
</dt>
<dd><p>Valor padr&atilde;o: <code>true</code>
</p>
<p>Quando <code>dotconstrules</code> &eacute; <code>true</code>, um produto n&atilde;o comutativo de uma
constante e outro termo &eacute; simplificado para um produto comutativo.
Ativando esse sinalizador efetivamente ativamos <code>dot0simp</code>, <code>dot0nscsimp</code>, e
<code>dot1simp</code> tamb&