event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	10	1	0	
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	20	3	0	*[ a>0 -> ... ]
	20	6	0	*[ b>0 -> ... ]
	20	8	0	*[ c>0 -> ... ]
	20	10	0	a := 1
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	20	6	0	*[ b>0 -> ... ]
	20	8	0	*[ c>0 -> ... ]
	20	10	0	a := 1
	30	2	0	b := 2
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	20	8	0	*[ c>0 -> ... ]
	20	10	0	a := 1
	30	2	0	b := 2
	30	5	0	c := 3
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	20	10	0	a := 1
	30	2	0	b := 2
	30	5	0	c := 3
	30	11	0	
a : int a = 0
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	30	2	0	b := 2
	30	5	0	c := 3
	30	11	0	
	30	11	0	
a : int a = 1
b : int b = 0
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	30	5	0	c := 3
	30	11	0	
	30	11	0	
	40	11	0	
a : int a = 1
b : int b = 2
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	30	11	0	
	30	11	0	
	40	11	0	
	40	11	0	
a : int a = 1
b : int b = 2
c : int c = 3
event queue:
check queue:
	(empty)
a : int a = 1
b : int b = 2
c : int c = 3
time: 40
