When propagating state to aggregates (due to field assignment),
now propagate to caller if assigning to the field of a function
parameter.