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