explicit_tree_aut: add ReindexStates(dst, fctor, addFinalStates)