Added attributes for avl functions
Added nonnull attributes for ht functions