RBTree-appel-height works for add, onto the mysterious lbalS
RBTree-appel-height works for add, onto the mysterious lbalS