Trigger check on all OCL expressions in the model

All OCL expressions in the model can be checked at once. This ensures the consistency between OCL code and the model.
Trigger check on all OCL expressions in the model