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