Value propagation: Slightly better type estimation from S_Scope