[e-acsl] replace usages of Id_term.Map by Id_term.Hashtbl

Id_term.Map is no longer usable since Id_term no longer has a working
compare function.

src/plugins/e-acsl/src/analyses/interval.ml

@@ -217,7 +217,7 @@ let replace_all_args_ival li args_ival =
   List.iter
     (fun x ->
        let i = Logic_var.Map.find x args_ival in
-       (Misc.Id_term.Map.iter
+       (Misc.Id_term.Hashtbl.iter
           (fun t profile -> Memo.replace profile t i)
           (Logic_var.Map.find x args_map)))
     li.l_profile

src/plugins/e-acsl/src/libraries/analyses_datatype.ml

@@ -464,9 +464,12 @@ module LF_env
          Logic_var.Map.update
            lv
            (fun m -> match m with
-              | Some m ->
-                Some (Misc.Id_term.Map.update t (fun _ -> Some profile) m)
-              | None -> Some (Misc.Id_term.Map.(add t profile empty)))
+              | Some tbl ->
+                Misc.Id_term.Hashtbl.replace tbl t profile; Some tbl
+              | None ->
+                let tbl = Misc.Id_term.Hashtbl.create 9 in
+                Misc.Id_term.Hashtbl.add tbl t profile;
+                Some tbl)
            map)
       map
       li.l_profile

src/plugins/e-acsl/src/libraries/analyses_datatype.mli

@@ -138,7 +138,7 @@ module LF_env : sig
 
   (** find all the arguments a recursive function or predicate has been
       called with*)
-  val find_args : logic_info -> (Profile.t Misc.Id_term.Map.t) Logic_var.Map.t
+  val find_args : logic_info -> Profile.t Misc.Id_term.Hashtbl.t Logic_var.Map.t
 
   (** clear the table of intervals for logic function *)
   val clear : unit -> unit