Annotation Type ClassInvariant