actor actor#1 "a" @10:11 order=0
actor actor#2 "b" @11:11 order=1
join join#1 "join" @12:40 order=2 type="[[string, string], [string]]" ports="[string, string]","[string]"
join join#2 "join" @13:11 order=3 type="[string, string]" ports="string","string"
ask ask#1 "a" @13:18 order=4 type="string"
ask ask#2 "a" @13:45 order=5 type="string"
join join#3 "join" @14:11 order=6 type="[string]" ports="string"
ask ask#3 "b" @14:18 order=7 type="string"
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#1 exact
fact ask-actor ask#3 <- actor#2 exact
fact join-in join#1 <- join#2 exact port=0
fact join-in join#1 <- ask#1 exact port=0
fact join-in join#1 <- ask#2 exact port=0
fact join-in join#1 <- join#3 exact port=1
fact join-in join#1 <- ask#3 exact port=1
fact join-in join#2 <- ask#1 exact port=0
fact join-in join#2 <- ask#2 exact port=1
fact join-in join#3 <- ask#3 exact port=0
fact return <- ask#1 exact
fact return <- join#2 exact port=0
fact return <- join#1 exact port=0
fact return <- ask#2 exact
fact return <- join#2 exact port=1
fact return <- ask#3 exact
fact return <- join#3 exact port=0
fact return <- join#1 exact port=1
region seq#1 seq entered
spawn actor#1 in=seq#1
spawn actor#2 in=seq#1
issue ask#1 in=seq#1 phase=unphased
issue ask#2 in=seq#1 phase=unphased
issue ask#3 in=seq#1 phase=unphased
settle ask#1,ask#2,ask#3 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
