Variables: 
int[1]: "c" 

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

# process[0]:
event[1]: assign: c := 5, pid: 0, #pred: 1, succ: 4 
event[2]: null: null, pid: 0, #pred: 1, succ: 
event[3]: assign: c := c-1, pid: 0, #pred: 1, succ: 4 
event[4]: select: *[ c>0 -> ... ], pid: 0, #pred: 1, succ: 3 2 

