Test.StateMachine.Internal.Sequential
liftGen
liftGen'
liftShrinker
liftShrink
liftSem
removeCommands
collectStats
checkSequentialInvariant