let select_ZoneAnnot_pragmas set ~spare pragmas kf =
let set =
Cil_datatype.Stmt.Set.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
Cil_datatype.Stmt.Set.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