[TA60]Added positive and negative test for testing The next state set of Function must be valid