By Kristian Rekstad
Model: Does not fully model semesters with slots, where some courses must be selected from a group. Eg. "VA2".
OCL: Not sure if genmodel successfully generates derived implementations. Validations are working.
Validations: Not everything has a validation yet.