event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
event queue:
check queue:
	time	eid	pid	event
	10	1	0	[ true -> ... [] true -> ... ]
Run-time error: multiple exclusive guards of deterministic selection evaluated TRUE!
Run-time error while checking event.
event[1]:	10	1	0	[ true -> ... [] true -> ... ]
Caught run-time exception during execution.  Halting.
... at line 8
