1*5971e316Smrgdomain: "{ A[]; B[i] : 0 <= i < 10 }" 2*5971e316Smrgchild: 3*5971e316Smrg schedule: "[{ A[] -> [0]; B[i] -> [i] }]" 4