Updated RTL_AVLTREE