let select_stmt_pred set mark pred ki kf =
  let zones_decl_vars =
    !Properties.Interp.To_zone.from_pred pred
      (!Properties.Interp.To_zone.mk_ctx_stmt_annot kf ki)
  in select_ZoneAnnot_zones_decl_vars set mark (get_or_raise zones_decl_vars) kf