Usa variável de controle numClause para diferenciar labels

Usa variável de contrle numClause para diferenciar as diferentes
labels a serem geradas durante a compilação.