Cabeçalho e correção de variáveis DAML