Class BadCompareRewriter