Class CheckReturnAnnotationDatabase