decrease_key and test generator added