1*1de4e381STobias Grosserdomain: "{ A[]; B[i] : 0 <= i < 10 }" 2*1de4e381STobias Grosserchild: 3*1de4e381STobias Grosser schedule: "[{ A[] -> [0]; B[i] -> [i] }]" 4