add decrease-key