let update_at_label frame lab p = let m_h,a_h = varmem_at frame Here in try let (m_l,a_l) = List.assoc lab frame.states in D.subst m_l (F.var m_h) (D.subst a_l (F.var a_h) p) with Not_found -> p