let update ~(at:mem) ~(here:mem) p = let p = L.subst at.vbits (F.var here.vbits) p in let p = L.subst at.valloc (F.var here.valloc) p in p