Fix declaration od avl_ndel

This PR fixes the interface of `avl_ndel()` by adding a predicate.