Train Benchmark Eclipse OCL implementation