let quantify_at_label env l p = try let mem_lab = List.assoc l env.states in let dov _ v l = v::l in let l = Varinfo.Hashtbl.fold dov mem_lab.variables [] in D.forall l p with Not_found -> p