de caracteres usada para prefixar todos
os símbolos gerados por <code>reduce_consts</code> para representar subexpressões constantes.
</p>
<p><code>const_counter</code> (valor padrão: 1) é o índice inteiro usado para gerar símbolos
únicos para representar cada subexpressão constante emcontrada por <code>reduce_consts</code>.
</p>
<p><code>load (rducon)</code> torna essa função disponível para uso.
<code>demo (rducon)</code> faz uma demonstração dessa função.
</p></dd></dl>


<hr size="6">
<a 