Better warnings for useless modifications
The warnings for the case of a useless modification now do a better job of distinguishing between modifications from assignments and modifications that result from a call with an OUT parameter.