Variables: 
bool[1]: "hall.lecture.x" 
chan[1]: "hall.lecture.B" 

Event graph: 
event[0]: fork: null, #pred: 0, succ: 1 

# process[2]:
event[1]: fork: , pid: 2, #pred: 1, succ: 3 2 
event[2]: send: hall.lecture.B!(false), pid: 2, #pred: 1, succ: 2 
channel deps: 1 
event[3]: receive: hall.lecture.B?(hall.lecture.x), pid: 2, #pred: 1, succ: 3 
channel deps: 1 

