sig
  type t = Dive_types.node_range
  val evaluate : Cvalue.V.t -> Cil_types.typ -> Node_range.t
  val upper_bound : Node_range.t -> Node_range.t -> Node_range.t
end