let select_stmt_annots set mark ~spare ~ai ~user_assert
~slicing_pragma ~loop_inv ~loop_var ki kf =
let zones_decl_vars,pragmas =
!Properties.Interp.To_zone.from_stmt_annots
(Some (!Properties.Interp.To_zone.code_annot_filter
~ai ~user_assert ~slicing_pragma
~loop_inv ~loop_var ~others:false))
(ki, kf)
in let set = select_ZoneAnnot_pragmas set ~spare pragmas kf
in select_ZoneAnnot_zones_decl_vars set mark (get_or_raise zones_decl_vars) kf