Value propagation: Introduce S_List and S_Struct