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
