open class AtLeastTimes: VerificationMode {

  var times = 0

  public init(times: Times) {