rename finalState finalstate, fsSet fsset