explicit_tree_aut: add parameter 'addFinalStates' to ReindexStates()