public override Gen <Operation <SpecCounter, CounterModel> > Next(CounterModel obj0) { return(Gen.OneOf(Increment.IncrementGen(), Reset.ResetGen(), ScheduledSet.ScheduledSetGen(), ScheduledSetInterleaved.ScheduledInterleavedSetGen())); }