Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine

Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine. This leads to the problem that trying to visualize a formula using variables in the machine leads to an error e.g.

ProB reported Errors
ProB returned error messages:
Error: Cannot find identifier: floor:global('/* empty state */') (:1:0 to 1:5)
Error: Table command failed: call_table_command_in_state(root,expr_as_table,[identifier(pos(2,-1,1,1,1,6),floor)],_584901)