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