The server apparently crashes on this very simple model that has no invariant,
no guard, but only broadcast channels.
Created attachment 84 [details]
Example with broadcast channels
This is essentially the same problem as bug 178. Turns out that the fix was not quite enough. It is fixed
on the trunk (rev. 1480).