Removing explanations of universe inconsistencies from the checker. They
were never used and were responsible for code duplication.