Variables: 
bool[1]: "x" 
chan[1]: "Q" 

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

# process[0]:
event[1]: receive: Q?(x), pid: 0, #pred: 1, succ: 1 
channel deps: 1 

# process[1]:
event[2]: send: lecture.B!(false), pid: 1, #pred: 1, succ: 2 
channel deps: 1 

