explicit_tree_aut: add EraseFinalStates()