Scope.Zones
type t_zones = Frama_c_kernel.Locations.Zone.t Frama_c_kernel.Cil_datatype.Stmt.Hashtbl.t
val build_zones : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.lval -> Frama_c_kernel.Cil_datatype.Stmt.Hptset.t * t_zones
val pretty_zones : Stdlib.Format.formatter -> t_zones -> unit
val get_zones : t_zones -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Locations.Zone.t