When opening this file in prob_examples/public_examples/B/PerformanceTests
I have an empty operations view. I can go back and forward between the setup_constants
and INITIALISATION; but there are no operations visible.
Note: to avoid the stack overflow reported in another ticket, you may have to open the machine using probcli standalone or ProB Tcl/Tk first (to generate the Generated4000.prob file).