let select_ZoneAnnot_zones_decl_vars set mark (zones,decl_vars) kf =
  let set = VarinfoSet.fold
    (fun vi acc -> select_decl_var acc mark vi kf) decl_vars set
  in List.fold_right
       (fun z acc -> (* selection related to the parsing/compilation of the annotation *)
          select_stmt_zone acc mark z.Properties.Interp.To_zone.zone
            ~before:z.Properties.Interp.To_zone.before z.Properties.Interp.To_zone.ki kf)
       zones set