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