phase phase#1 "scan"
phase phase#2 "prepare"
phase phase#3 "act"
node phase#1@1 mark phase=phase#1
node ask#1@1 issue site=ask#1 phase=phase#1
node phase#2@1 mark phase=phase#2
node phase#3@1 mark phase=phase#3
node ask#2@1 issue site=ask#2 phase=phase#3
edge entry -> phase#1@1 next
edge phase#1@1 -> ask#1@1 next
edge ask#1@1 -> phase#2@1 next
edge phase#2@1 -> phase#3@1 next
edge phase#3@1 -> ask#2@1 next
edge ask#2@1 -> sink jump via=return
phase-edge entry -> phase#1 next
phase-edge phase#1 -> phase#2 next
phase-edge phase#2 -> phase#3 next
phase-edge phase#3 -> sink jump via=return
