add #get_smaller_ket, #search_key, modify logic of decrease_key