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