sig
  val warn_right_imprecision :
    Cil_types.lval -> Locations.location -> Cvalue.V_Offsetmap.t -> unit
  val offsetmap_of_lval :
    Cvalue.Model.t ->
    Cil_types.lval -> Precise_locs.precise_location -> Cvalue.V_Offsetmap.t
  val offsetmap_of_assignment :
    Cvalue.Model.t ->
    Cil_types.exp ->
    (Precise_locs.precise_location, Cvalue.V.t) Eval.assigned ->
    Cvalue.V_Offsetmap.t
end