now we set trivial-event delay to 0 
null-event-delay = 0
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	0	1	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	10	10	0	X!(true)
	10	11	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	10	10	0	X!(true)
check queue:
	10	9	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	10	9	0	
	10	9	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	10	8	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	20	6	0	X!(false)
	20	7	0	X?(b)
b : bool b = 0
X : chan(bool<>) X = (0) [recvd]
event queue:
	time	eid	pid	event
	20	6	0	X!(false)
check queue:
	20	5	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	20	5	0	
	20	5	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	20	4	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	30	2	0	X!(true)
	30	3	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	30	2	0	X!(true)
check queue:
	30	12	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	30	12	0	
	30	12	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	(empty)
expect empty queue, sequence ended 
time: 30
