Eclipse OCL (Object Constraint Language) 2022-12 (6.18.0)