Variables: 
chan[1]: "y2_0.b" 
chan[2]: "y2_1.b" 
chan[3]: "y3_0.b" 
chan[4]: "y3_1.b" 
chan[5]: "y3_2.b" 
chan[6]: "y6_0.b" 
chan[7]: "y6_1.b" 
chan[8]: "y6_2.b" 
chan[9]: "y6_3.b" 
chan[10]: "y6_4.b" 
chan[11]: "y6_5.b" 

Event graph: 
event[0]: fork: null, #pred: 0, succ: 1 2 3 4 5 6 7 8 9 10 11 

# process[1]:
event[1]: send: y2_0.b!(0), pid: 1, #pred: 1, succ: 1 
channel deps: 1 

# process[2]:
event[2]: send: y2_1.b!(1), pid: 2, #pred: 1, succ: 2 
channel deps: 2 

# process[3]:
event[3]: send: y3_0.b!(4), pid: 3, #pred: 1, succ: 3 
channel deps: 3 

# process[4]:
event[4]: send: y3_1.b!(9), pid: 4, #pred: 1, succ: 4 
channel deps: 4 

# process[5]:
event[5]: send: y3_2.b!(16), pid: 5, #pred: 1, succ: 5 
channel deps: 5 

# process[6]:
event[6]: send: y6_0.b!(0), pid: 6, #pred: 1, succ: 6 
channel deps: 6 

# process[7]:
event[7]: send: y6_1.b!(1), pid: 7, #pred: 1, succ: 7 
channel deps: 7 

# process[8]:
event[8]: send: y6_2.b!(4), pid: 8, #pred: 1, succ: 8 
channel deps: 8 

# process[9]:
event[9]: send: y6_3.b!(9), pid: 9, #pred: 1, succ: 9 
channel deps: 9 

# process[10]:
event[10]: send: y6_4.b!(16), pid: 10, #pred: 1, succ: 10 
channel deps: 10 

# process[11]:
event[11]: send: y6_5.b!(25), pid: 11, #pred: 1, succ: 11 
channel deps: 11 

