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