Class CheckReturnValueAnnotation