explicit_tree_aut.hh: add empty() to DownAccessor