null-delay 0 should make no difference in final time 
null-event-delay = 0
event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	10	1	0	c := 5
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	20	4	0	*[ c>0 -> ... ]
c : int c = 5
event queue:
check queue:
	time	eid	pid	event
	30	3	0	c := c-1
c : int c = 5
event queue:
check queue:
	time	eid	pid	event
	40	4	0	*[ c>0 -> ... ]
c : int c = 4
event queue:
check queue:
	time	eid	pid	event
	50	3	0	c := c-1
c : int c = 4
event queue:
check queue:
	time	eid	pid	event
	60	4	0	*[ c>0 -> ... ]
c : int c = 3
event queue:
check queue:
	time	eid	pid	event
	70	3	0	c := c-1
c : int c = 3
event queue:
check queue:
	time	eid	pid	event
	80	4	0	*[ c>0 -> ... ]
c : int c = 2
event queue:
check queue:
	time	eid	pid	event
	90	3	0	c := c-1
c : int c = 2
event queue:
check queue:
	time	eid	pid	event
	100	4	0	*[ c>0 -> ... ]
c : int c = 1
event queue:
check queue:
	time	eid	pid	event
	110	3	0	c := c-1
c : int c = 1
event queue:
check queue:
	time	eid	pid	event
	120	4	0	*[ c>0 -> ... ]
c : int c = 0
event queue:
check queue:
	time	eid	pid	event
	120	2	0	null
c : int c = 0
event queue:
check queue:
	(empty)
c : int c = 0
time: 120
