let select_ZoneAnnot_pragmas set ~spare pragmas kf =
let set =
Cilutil.StmtSet.fold (* selection related to statement assign and //@ slice pragma stmt *)
(fun ki' acc -> select_stmt acc ~spare ki' kf)
pragmas.Properties.Interp.To_zone.stmt set
in Cilutil.StmtSet.fold (* selection related to //@ slice pragma ctrl/expr *)
(fun ki' acc -> select_stmt_ctrl acc ~spare ki' kf)
pragmas.Properties.Interp.To_zone.ctrl set