it is possible (somehow) to come up with constraints that generate traces with no zones in the federation, which in turn crashes the server when the trace is being regenerated for storage or traversed in the simulator.
Created attachment 228 [details]
model to reproduce a crash
the model which crashes the server
Created attachment 229 [details]
input stream for server
communication stream which crashes the server
Rev. 4539 should fix it.