ask ask#1 "r" @37:6 order=0 type="string"
actor actor#1 "r" @36:10 order=1
fact ask-data ask#1 <- ask#1 inexact
fact ask-actor ask#1 <- actor#1 exact
fact return <- ask#1 exact
region seq#1 seq entered
region loop#1 loop parent=seq#1 @35:1 entered recursive label="refine"
region call#1 call parent=loop#1 @41:14 entered label="refine"
region choice#1 choice parent=call#1 @36:10 entered
region branch#1 branch parent=choice#1 @38:11
region loop#2 loop parent=branch#1 @38:11 entered recursive label="then"
region call#2 call parent=loop#2 @36:10 entered label="then" strand
region choice#2 choice parent=call#2 @38:19 entered exhaustive
region branch#2 branch parent=choice#2 @38:35
region branch#3 branch parent=choice#2 @38:47
spawn actor#1 in=seq#1>loop#1>call#1
issue ask#1 in=seq#1>loop#1>call#1 phase=unphased
settle ask#1 in=seq#1>loop#1>call#1>choice#1>branch#1>loop#2>call#2
jump recur loop#1 in=seq#1>loop#1>call#1>choice#1>branch#1>loop#2>call#2>choice#2>branch#2 phase=unphased
jump return call#1 in=seq#1>loop#1>call#1 phase=unphased
settle ask#1 in=seq#1 joins=call#2
jump return seq#1 in=seq#1 phase=unphased
control branch#2 maybe=ask#1
control branch#3 maybe=ask#1
