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