Allow the user to specify how many counterexamples they want (1, all)

[aviggiano]

Is your feature request related to a problem? Please describe.

Sometimes, we do not care about all the counterexamples. Only 1 is enough. Waiting for all counterexamples can be slow, and stopping the process in the middle will segfault

Describe the solution you'd like

Allow the user to specify how many counterexamples they want, and immediately stop if that condition is satisfied

Describe alternatives you've considered

Ctrl+C

(but it will segfault)

Additional context

N/A