Update avltreeDoubleRanked.h