add "stop when all events are covered" option to model checking dialog