[Eva] Taint domain: changes the propagation of data-taint.

A memory location becomes data-tainted through an assignment if the location
assigned depends on data-tainted values.