Variables: 
int[1]: "pea_soup.s" 
chan[1]: "pea_soup.B[0]" 
chan[2]: "pea_soup.B[1]" 
chan[3]: "pea_soup.S" 

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

# process[1]:
event[1]: receive: pea_soup.S?(pea_soup.s), pid: 1, #pred: 1, succ: 2 
channel deps: 3 
event[2]: send: pea_soup.B[pea_soup.s]!(true), pid: 1, #pred: 1, succ: 1 
int deps: 1 
channel deps: 1 2 

