https://123dok.net/document/myj4krky-automating-inference-of-ocl-business-rules-from-user-scenarios.html