PROBCORE-64 When model checking, all of the labels for the operations are retrieved from prolog and the operations are updated before the calculation of the state space data takes place. The visualization should now work much better.