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