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