let get_loops_index () =
  Hashtbl.fold (fun key _ lk-> key::lk ) loop_int_pre_bycase []