validação semântica de variáveis