join join#1 "join" @12:28 order=0 type="[{ f: string; }]" ports="{ f: string; }"
ask ask#1 "writer" @13:30 order=1 type="string"
actor actor#1 "writer" @13:14 order=2
ask ask#2 "reader" @14:24 order=3 type="string"
actor actor#2 "reader" @14:8 order=4
fact ask-data ask#2 <- ask#1 inexact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact join-in join#1 <- ask#1 inexact port=0
fact return <- ask#2 exact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @12:33 entered exhaustive
region branch#1 branch parent=choice#1 @12:40
region branch#2 branch parent=choice#1 @12:47
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
jump return seq#1 in=seq#1 phase=unphased
