Der Nutzer beschreibt sein Ziel. Das System entscheidet, ob sich Kompilieren lohnt, erzeugt eine Task-IR mit sichtbaren Annahmen und führt sie aus.