let subst_lval frame te loc v p = DF.stored te ; let xm,_ = varmem_at frame Here in let tm = store_mem (F.var xm) te loc v in D.subst xm tm p