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)