additional comments added to the model checking class