renaming the RedundancyCheck class and other minor fixes