Implement def-use chain tracking.
Allow to replace uses of values with another values.