let tag_stmt stmt = let is_used = try let _zones, used = ZonesState.get () in Stmt.Set.mem stmt used with Not_found -> false in if is_used then zones_used_tag else empty_tag