Class BadNarrowingArgRewriter