Rework: implement "max-states"

Description

When a limit of states is supplied and so many states are explored during the model checking process, the run should terminate gracefully.

Environment

None
Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner