Added @todo in avl_del()