PROBCORE-253 Working on the view for model checker