 caracteres usada para prefixar todos
os s&iacute;mbolos gerados por <code>reduce_consts</code> para representar subexpress&otilde;es constantes.
</p>
<p><code>const_counter</code> (valor padr&atilde;o: 1) &eacute; o &iacute;ndice inteiro usado para gerar s&iacute;mbolos
&uacute;nicos para representar cada subexpress&atilde;o constante emcontrada por <code>reduce_consts</code>.
</p>
<p><code>load (rducon)</code> torna essa fun&ccedil;&atilde;o dispon&iacute;vel para uso.
<code>demo (rducon)</code> faz uma d