Lab1. OCL constraints