Package org.eclipse.ocl.internal.evaluation