[TA58][TA59] Add logic to make sure StateSet have Initial State and Final State.
[TA58] Added multiple inital states test