actor actor#1 "a" @7:11 order=0
join join#1 "join" @9:32 order=1 type="[string]" ports="string"
ask ask#1 "a" @9:39 order=2 type="string"
join join#2 "join" @9:70 order=3 type="[string]" ports="string"
ask ask#2 "a" @9:77 order=4 type="string"
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#1 exact
fact join-in join#1 <- ask#1 exact port=0
fact join-in join#2 <- ask#2 exact port=0
fact return <- ask#1 exact
fact return <- join#1 exact port=0
fact return <- ask#2 exact
fact return <- join#2 exact port=0
region seq#1 seq entered
region choice#1 choice parent=seq#1 @9:17 entered exhaustive
region branch#1 branch parent=choice#1 @9:24
region branch#2 branch parent=choice#1 @9:62
spawn actor#1 in=seq#1
issue ask#1 in=seq#1>choice#1>branch#1 phase=unphased
issue ask#2 in=seq#1>choice#1>branch#2 phase=unphased
settle maybe ask#1,ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
