lane actor#1 "reader" @13:8
lane actor#2 "a" @13:47
region seq#1 seq
step ask#1 ask "reader" @13:24 lane=actor#1 region=seq#1 always
step ask#2 ask "a" @13:58 lane=actor#2 region=seq#1 always
edge ask#2 -> ask#1 data always inexact
sink ask#1
