let select_ZoneAnnot_zones_decl_vars set mark (zones,decl_vars) kf =
  let set =
    Cil_datatype.Varinfo.Set.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