- Moving invariant class and annotation to a better place: the invariant projects, instead of the ocl core.