Let the formal engine create some test cases for the FSM Shifter