Searching in examples/org.eclipse.ocl.examples.modelregistry/model