[StateMachine Validity]SM can have a super class which must be a SM

Added positive test for correct inheritance state machine.