Value propagation: Introduce patches (diffs), simple address estimation from S_Scope