The extractor for NoExplanation can be used to check whether any error lacks an explanation
NoExplanation