``` obj.field = foo bar = obj.field ``` can be optimized to ``` obj.field = foo bar = foo ``` This could be in `ConstantPropagationOptimizer`