module quint_connect_step {
  var mbtAction: str
  var mbtPick: int
  var customAction: str
  var customPick: int
  var comparable: int

  action init = all {
    mbtAction' = "init",
    mbtPick' = 0,
    customAction' = "none",
    customPick' = 0,
    comparable' = 0,
  }

  action ValidateStepExtraction = all {
    mbtAction' = "DoWork",
    mbtPick' = 7,
    customAction' = "CustomWork",
    customPick' = 9,
    comparable' = 42,
  }
}