world-read world-read#1 "git-changed-files" @5:27 order=0 type="string[]"
world-read world-read#2 "git-log" @7:27 order=1 type="GitCommit[]"
world-read world-read#3 "git-status" @8:26 order=2 type="GitStatus"
world-read world-read#4 "git-diff HEAD" @9:24 order=3 type="string"
actor actor#1 "reviewer" @11:18 order=4
ask ask#1 "reviewer" @12:32 order=5 type="string"
fact ask-data ask#1 <- world-read#3 exact
fact ask-data ask#1 <- world-read#1 exact
fact ask-data ask#1 <- world-read#2 exact
fact ask-data ask#1 <- world-read#4 exact
fact ask-actor ask#1 <- actor#1 exact
fact return <- ask#1 exact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @13:13 entered
region branch#1 branch parent=choice#1 @13:30
region fanout#1 fanout parent=seq#1 @15:16 label="map"
issue world-read#1 in=seq#1 phase=unphased
settle world-read#1 in=seq#1
issue world-read#2 in=seq#1 phase=unphased
settle world-read#2 in=seq#1
issue world-read#3 in=seq#1 phase=unphased
settle world-read#3 in=seq#1
issue world-read#4 in=seq#1 phase=unphased
settle world-read#4 in=seq#1
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
control branch#1 by=world-read#3
