Plataforma aceita 'senao' com condição, mas deveria gerar erro de sintaxe

[mballem]

Descrição do problema

Observei que a plataforma Portugol Webstudio está aceitando a condicional senao com uma condição sem que gere um erro de compilação ou mesmo na execução. Na imagem em anexo é possível observar que o código foi executado sem qualquer problema ao usar a instrução senao (x < 7) escreva("X é ", x).

Código

programa {
    funcao inicio() {
        inteiro x = 6
        se (x > 7) escreva("X é ", x)
        senao (x < 7) escreva("X é ", x)
    }
}

Comentários adicionais

No response

[dgadelha]

O problema real é que o código gerado fica similar a esse:

programa {
  funcao inicio() {
    inteiro x = 6

    se (x > 7) {
      escreva("X é ", x)
    } senao {
      (x < 7)
    }

    escreva("X é ", x)
  }
}

Tanto que se você altera o x para 8, os dois são printados.

E é mais um resultado de eu ainda não ter conseguido melhorar a análise semântica.

[mballem]

Certo, obrigado pela atenção.