https://5dok.net/document/qo5pep7m-verifying-ocl-specifications-uml-models-tool-support-compositionality.html