let quantify_at_vars env label p =
    let mem_lab = MV.get_label_mem env label in
      MV.forall_mem mem_lab p