Merge "Add class to verifier's rejected list if superclass is erroneous."