¿Qué hace distill?
Extrae una especificación Allium a partir de una base de código existente. Utilízalo cuando el usuario tenga código existente y desee destilar el comportamiento en una especificación, hacer ingeniería inversa de una especificación a partir de la implementación, generar una especificación a partir del código, convertir la implementación en una especificación comportamental o documentar lo que hace una base de código en términos de Allium.