Eclipse OCL (Object Constraint Language) 2020-06 (6.12.0)