O que distill faz?
Extrai uma especificação Allium de uma base de código existente. Use quando o usuário tiver código existente e quiser destilar o comportamento em uma especificação, fazer engenharia reversa de uma especificação a partir da implementação, gerar uma especificação a partir de código, transformar implementação em uma especificação comportamental ou documentar o que uma base de código faz em termos Allium.