Some improvements to the progress view of the model checker. The user can now cancel the analysis and the underlying FORMULA process is re-started.