Value propagation: types of new variables defined in scopes