ask ask#1 "seed" @12:34 order=0 type="string"
actor actor#1 "seed" @12:20 order=1
ask ask#2 "out" @15:32 order=2 type="string"
actor actor#2 "out" @15:19 order=3
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 return <- ask#2 exact
region seq#1 seq entered
region choice#1 choice parent=seq#1 @13:11 entered exhaustive
region branch#1 branch parent=choice#1 @13:29
region branch#2 branch parent=choice#1 @13:33
region choice#2 choice parent=seq#1 @14:16 entered exhaustive
region branch#3 branch parent=choice#2 @5:1
region call#1 call parent=branch#3 @14:16 entered label="g"
region branch#4 branch parent=choice#2 @8:1
region call#2 call parent=branch#4 @14:16 entered label="h"
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
jump return call#1 in=seq#1>choice#2>branch#3>call#1 phase=unphased
jump return call#2 in=seq#1>choice#2>branch#4>call#2 phase=unphased
spawn actor#2 in=seq#1
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
control branch#1 by=ask#1
control branch#2 by=ask#1
