phase phase#1 "survey"
phase phase#2 "audit"
phase phase#3 "dead-tail"
phase phase#4 "wrap"
node phase#1@1 mark phase=phase#1
node world-read#1@1 issue site=world-read#1 phase=phase#1
node phase#2@1 mark phase=phase#2
node world-read#2@1 issue site=world-read#2 phase=phase#2
node ask#1@1 issue site=ask#1 phase=phase#2
node phase#3@1 mark phase=phase#3
node world-read#3@1 issue site=world-read#3 phase=phase#1
node phase#4@1 mark phase=phase#4
node ask#2@1 issue site=ask#2 phase=phase#4
edge entry -> phase#1@1 next
edge phase#1@1 -> world-read#1@1 next
edge world-read#1@1 -> phase#2@1 branch
edge world-read#1@1 -> world-read#3@1 branch
edge phase#2@1 -> world-read#2@1 next
edge world-read#2@1 -> ask#1@1 next
edge ask#1@1 -> phase#3@1 next
edge phase#3@1 -> world-read#3@1 branch
edge world-read#3@1 -> phase#4@1 next
edge phase#4@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 branch
phase-edge phase#1 -> phase#4 next
phase-edge phase#2 -> phase#3 next
phase-edge phase#3 -> phase#1 branch
phase-edge phase#4 -> sink jump via=return
