1sink: "{ S[] -> a[] }"
2must_source: "{ T[] -> a[]; U[] -> a[] }"
3may_source: "{ V[] -> a[] }"
4schedule:
5 domain: "{ S[]; U[]; T[]; V[] }"
6 child:
7 sequence:
8 - filter: "{ U[]; T[]; V[] }"
9 child:
10 sequence:
11 - filter: "{ U[] }"
12 - filter: "{ V[]; T[] }"
13 - filter: "{ S[] }"
14