Class BadCastChainRewriter