Reset datafow state for modified values.

Previously, we would propagate the dataflow state of binary operation operands
to the resulting value. However, this is incorrect because the resulting value
is a modification and so for our purposes the result should not be tainted.