phase phase#1 "A" @16:1
phase phase#2 "B" @22:1
phase phase#3 "C" @30:1
phase phase#4 "D" @34:1
lane actor#1 name-head="a-" @18:19 families=fanout#1
lane actor#2 name-head="b-" @24:19 families=fanout#2
lane actor#3 "c" @31:17
lane actor#4 "d" @35:17
region seq#1 seq
region fanout#1 fanout parent=seq#1 @17:15 label="map"
region fanout#2 fanout parent=seq#1 @23:15 label="map"
step ask#1 ask "ask" label-head="a-" @18:35 lane=actor#1 phase=phase#1 region=fanout#1 maybe serial
step ask#2 ask "ask" label-head="b-" @24:35 lane=actor#2 phase=phase#2 region=fanout#2 maybe serial
step ask#3 ask "c" @31:28 lane=actor#3 phase=phase#3 region=seq#1 always
step ask#4 ask "d" @35:28 lane=actor#4 phase=phase#4 region=seq#1 always
edge ask#1 -> ask#1 carry maybe
edge ask#1 -> ask#3 data maybe exact
edge ask#2 -> ask#2 carry maybe
edge ask#2 -> ask#4 data maybe exact
edge ask#3 -> ask#4 data always exact
phase-edge phase#1 -> phase#1 carry maybe
phase-edge phase#1 -> phase#3 data maybe
phase-edge phase#2 -> phase#2 carry maybe
phase-edge phase#2 -> phase#4 data maybe
phase-edge phase#3 -> phase#4 data always
sink ask#4
