https://github.com/potassco-asp-course/modeling/blob/58d1415d7d927043a7f103d81db04ef69cede962/workflow-example-coloring.tex#L148