Test.StateMachine.Internal.Sequential
generateProgram
generateProgram'
filterInvalid
getUsedVars
liftShrinkInternal
validProgram
shrinkProgram
executeProgram