Updating: improving libats/linset_avltree