Class BadNarrowingArgRewriter.InternalBadNarrowingRewriter