let absolute_range loc min =
let max = find_max_value loc in
match max with
| Some { term_node = TConst(CInt64 (t,_,_)) } ->
Interval(min,My_bigint.to_int t + 1)
| Some x ->
Bounded
(min,
Logic_const.term
(TBinOp(PlusA,x,Logic_const.tinteger ~ikind:IInt 1)) Linteger)
| None -> Unbounded min