Value propagation: names in scopes