FsCheck: generator's end-state

Question

Documentation for Model-based testing has an example of CounterSpec.

How can I modify the Next method of this example to state that if the curre