Value propagation: values of variables in S_Scope