1domain: "{ B[0]; C[]; A[] }" 2child: 3 set: 4 - filter: "{ B[i0]; A[] }" 5 child: 6 schedule: "[{ B[i0] -> [(1)]; A[] -> [(0)] }]" 7 - filter: "{ C[] }" 8