Modified for comment to add a rule of analysis that adds a cast.