let find_exact_base_without_offset v = match v with
| Top _ -> [],false
| Map m ->
let exact = ref true in
let result = ref [] in
let get_binding k v =
if Ival.equal Ival.singleton_zero v
then result := k::!result
else exact := false
in
M.iter get_binding m;
!result,!exact