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