If the initial state is not well defined, e.g. due to bad invariants or bad variable initialisers, then the GUI
looses the server connection.
The expected behaviour is that such errors are shown in the editor, although this is difficult as the errors
might only be present in some instances of a template.
Oops, wrong assignee.
Support for this has now been added on the trunk. Out of range initialisers and
similar problems are reported like any other parse error. Ill-defined states due
to the invariants of the initial state being false are reported, but the error
is not attributed to any particular invariant: In the general case, the error
can be caused by a combination of invariants.