11 lines · plain
1# Check that components are still detected in presence of nested context node2domain: "{ A[]; B[i] : 0 <= i < 10 }"3child:4 schedule: "[{ A[] -> [0]; B[i] -> [i] }]"5 child:6 context: "[n] -> { [i] : 0 <= n <= i }"7 child:8 sequence:9 - filter: "{ A[] }"10 - filter: "{ B[i] }"11