Variables: 
bool[1]: "a" 
bool[2]: "b" 

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

# process[0]:
event[1]: fork: , pid: 0, #pred: 1, succ: 5 6 
event[2]: assign: b := true, pid: 0, #pred: 1, succ: 7 
event[3]: select: [ a -> ... [] else -> ... ], pid: 0, #pred: 1, succ: 7 2 
event[4]: join: , pid: 0, #pred: 2, succ: 3 
event[5]: assign: a := false, pid: 0, #pred: 1, succ: 4 
event[6]: assign: b := false, pid: 0, #pred: 1, succ: 4 
event[7]: null: null, pid: 0, #pred: 1, succ: 

