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