11 lines · plain
1sink: "{ S[] -> a[] }"2must_source: "{ T[i] -> a[] : 0 <= i <= 9 }"3schedule:4 domain: "{ T[i]; S[] }"5 child:6 sequence:7 - filter: "{ T[i] }"8 child:9 schedule: "[{ T[i] -> [(i)] }]"10 - filter: "{ S[] }"11