grootste deel van ocl in latex. Nog 3 onvolledige constraints