Was macht distill?
Extrahiere eine Allium-Spezifikation aus einer vorhandenen Codebasis. Verwende dies, wenn der Benutzer vorhandenen Code hat und das Verhalten in eine Spezifikation destillieren, eine Spezifikation aus der Implementierung zurückentwickeln, eine Spezifikation aus Code generieren, die Implementierung in eine Verhaltensspezifikation umwandeln oder dokumentieren möchte, was eine Codebasis in Allium-Begriffen tut.