sm :: Bug -> StateMachine Model Command (ReaderT ConnectInfo IO) Response
sm bug = StateMachine initModel transitions preconditions postconditions
  Nothing generator shrinker (semantics bug) mock noCleanup
sm :: Bug -> StateMachine Model Command (ReaderT ConnectInfo IO) Response
sm bug = StateMachine initModel transitions preconditions postconditions
  Nothing generator shrinker (semantics bug) mock noCleanup
sm bug = StateMachine initModel transitions preconditions postconditions
  Nothing generator shrinker (semantics bug) mock noCleanup