1domain: "{ A[]; B[i] : 0 <= i < 10 }" 2child: 3 schedule: "[{ A[] -> [0]; B[i] -> [i] }]" 4 child: 5 sequence: 6 - filter: "{ B[i] }" 7 - filter: "{ A[] }" 8