Updating: minorly improving libats/linmap_avltree