let lc_identifiers lc_indexes =
  let length = Array.length (lc_indexes: lc_index array) in
    (* This array will be used for every key search in the hash_table.
    The function identifier_of_lc copy this array before inserting it into the table.*)
  let temp_lc = lc_indexes.(non_discarded_cell length (fun i -> lc_indexes.(i) = [||])) in
fun lcState_of_lcIndex -> (* was already given [configurations] *)
  let temp_lc = lcState_of_lcIndex temp_lc in
  let new_lc = Femtolib.Misc.Fresh_name.Int.new_generator 0 in
  let table = Hashtbl.create length in
  let identifier_of_lc = identifier_of_lc table new_lc in
  let result =
    Array.map
    (function
       | [||] -> -1
       | lc_index -> identifier_of_lc (lcState_of_lcIndex lc_index))
    lc_indexes in
  result, hackish_hastbl_size table