event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	10	1	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	20	5	0	a := false
	20	6	0	b := false
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	20	6	0	b := false
	30	4	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	30	4	0	
	30	4	0	
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	40	3	0	[ a -> ... [] else -> ... ]
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	time	eid	pid	event
	50	7	0	null
a : bool a = 0
b : bool b = 0
event queue:
check queue:
	(empty)
a : bool a = 0
b : bool b = 0
time: 50
