in NPDTree, do not capture Not_found that could be raised by the
user callback