15
(1 . #<raw-chpsim-event-node: send: bsrc.S!(true), pid: 1, #pred: 1, succ: 1 
channel deps: 1 
>)
(0 . #<raw-chpsim-event-node: fork: null, #pred: 0, succ: 1 2 3 8 13 14 
>)
(1 . #<raw-chpsim-event-node: send: bsrc.S!(true), pid: 1, #pred: 1, succ: 1 
channel deps: 1 
>)
(2 . #<raw-chpsim-event-node: send: isrc.S!(17), pid: 2, #pred: 1, succ: 2 
channel deps: 2 
>)
(3 . #<raw-chpsim-event-node: fork: , pid: 3, #pred: 1, succ: 6 7 
>)
(4 . #<raw-chpsim-event-node: send: join.O!(join.x1,join.x2), pid: 3, #pred: 1, succ: 3 
channel deps: 3 
>)
(5 . #<raw-chpsim-event-node: join: , pid: 3, #pred: 2, succ: 4 
>)
(6 . #<raw-chpsim-event-node: receive: join.B?(join.x1), pid: 3, #pred: 1, succ: 5 
channel deps: 1 
>)
(7 . #<raw-chpsim-event-node: receive: join.I?(join.x2), pid: 3, #pred: 1, succ: 5 
channel deps: 2 
>)
(8 . #<raw-chpsim-event-node: receive: fork.O?(fork.x1,fork.x2), pid: 4, #pred: 1, succ: 12 
channel deps: 3 
>)
(9 . #<raw-chpsim-event-node: join: , pid: 4, #pred: 2, succ: 8 
>)
(10 . #<raw-chpsim-event-node: send: fork.B!(fork.x1), pid: 4, #pred: 1, succ: 9 
channel deps: 4 
>)
(11 . #<raw-chpsim-event-node: send: fork.I!(fork.x2), pid: 4, #pred: 1, succ: 9 
channel deps: 5 
>)
(12 . #<raw-chpsim-event-node: fork: , pid: 4, #pred: 1, succ: 10 11 
>)
(13 . #<raw-chpsim-event-node: receive: bsnk.B?(bsnk.b), pid: 5, #pred: 1, succ: 13 
channel deps: 4 
>)
(14 . #<raw-chpsim-event-node: receive: isnk.B?(isnk.b), pid: 6, #pred: 1, succ: 14 
channel deps: 5 
>)
