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