let mk_conc = 
    let table = Hashtbl.create 17 in
    let _ =  Tools.add_at_reset (fun () -> Hashtbl.clear table) in
      fun n m ->
        assert(0 <= n && 0 <= m);
        try
          Hashtbl.find table (n, m)
        with
            Not_found ->
              let hsh = genidx() in
              let op = (Bv(Conc(n, m)), hsh) in
                Hashtbl.add table (n, m) op; op