phase phase#1 "scan" @4:1
phase phase#3 "act" @8:1
lane actor#1 "scanner" @5:20
lane actor#2 "actor" @9:8
region seq#1 seq
step ask#1 ask "scanner" @5:37 lane=actor#1 phase=phase#1 region=seq#1 always
step ask#2 ask "actor" @9:23 lane=actor#2 phase=phase#3 region=seq#1 always
edge ask#1 -> ask#2 data always exact
phase-edge phase#1 -> phase#3 data always
sink ask#2
