1*6135b0feSTobias Grosser# Check that component detection is not confused by values 2*6135b0feSTobias Grosser# of the schedule dimension that do not correspond to any statement instances. 3*6135b0feSTobias Grosserdomain: "[K] -> { S[]; T[i] : 0 <= i < K }" 4*6135b0feSTobias Grosserchild: 5*6135b0feSTobias Grosser context: "[K] -> { [] : K > 0 }" 6*6135b0feSTobias Grosser child: 7*6135b0feSTobias Grosser schedule: "[K] -> [{ S[] -> [(0)]; T[i] -> [(32*floor((i)/32))] }]" 8*6135b0feSTobias Grosser child: 9*6135b0feSTobias Grosser sequence: 10*6135b0feSTobias Grosser - filter: "[K] -> { S[] }" 11*6135b0feSTobias Grosser - filter: "[K] -> { T[i] }" 12