ask ask#1 "scanner" @14:41 order=0 type="Flaky"
actor actor#1 "scanner" @14:24 order=1
actor actor#2 "planner" @17:17 order=2
actor actor#3 "reviewer" @18:18 order=3
ask ask#2 "planner" @22:30 order=4 type="string"
ask ask#3 "reviewer" @23:33 order=5 type="Review"
join join#1 "join" @28:32 order=6 type="Review[]"
fan-out fan-out#1 "fan-out" @29:3 order=7 type="Review[]"
ask ask#4 "judge" @29:47 order=8 within=fan-out#1 type="Review"
actor actor#4 "judge" @29:32 order=9 within=fan-out#1
fact ask-data ask#2 <- ask#3 exact
fact ask-data ask#3 <- ask#2 exact
fact ask-data ask#4 <- ask#1 exact
fact ask-data ask#4 <- fan-out#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact ask-actor ask#3 <- actor#3 exact
fact ask-actor ask#4 <- actor#4 exact
fact join-in join#1 <- ask#4 exact
fact join-in join#1 <- ask#1 exact
fact join-in join#1 <- fan-out#1 exact
fact fan-out-in fan-out#1 <- ask#1 exact
fact return <- ask#2 exact
fact return <- ask#4 exact
fact return <- ask#1 exact
fact return <- join#1 exact
fact return <- fan-out#1 exact
region seq#1 seq entered
region loop#1 loop parent=seq#1 @21:1 entered bound=5
region choice#1 choice parent=loop#1 @24:3 entered
region branch#1 branch parent=choice#1 @24:24
region fanout#1 fanout parent=seq#1 @29:3 label="map"
region fanout#2 fanout parent=seq#1 @31:8 label="filter"
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
spawn actor#3 in=seq#1
issue ask#2 in=seq#1>loop#1 phase=unphased
settle ask#2 in=seq#1>loop#1
issue ask#3 in=seq#1>loop#1 phase=unphased
settle ask#3 in=seq#1>loop#1
jump return seq#1 in=seq#1>loop#1>choice#1>branch#1 phase=unphased
spawn actor#4 in=seq#1>fanout#1
issue ask#4 in=seq#1>fanout#1 phase=unphased
settle ask#4 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
control branch#1 by=ask#3
