add progress bar to model checking dialog