test the Finite State Machine generated by SMC