Value propagation: More precise invalidation of local variables, enable merging of values of a local variable