module counter {
  var counter: int

  action init = all {
    counter' = 0,
  }

  action inc = all {
    nondet amount = Set(1).oneOf()
    counter' = counter + amount,
  }

  action step = inc
}