let update ~(at:mem) ~(here:mem) p = let dov vi v_l p = let v_here = get_var here.vars vi in L.subst v_l (F.var v_here) p in L.subst at.x_alloc here.alloc (Varinfo.Hashtbl.fold dov at.vars p)