Working on implementing the graphical UI for model checking PROBCORE-3 PROBCORE-250 PROBCORE-253