[Eva] Taint domain: reworks data and control taints.

A memory location only becomes data-tainted when it is assigned to a
data-tainted value.
A memory location becomes control-tainted on an assignement:
- whose execution depends on a tainted condition;
- to a control-tainted value.
- such that the assigned location depends on tainted values.