Implement the PushC rule when optimising casts