1# Check proper handling of filters that turn out to be empty on their paths
2domain: "[n,m] -> { A[i,j] : 0 <= i,j < n }"
3child:
4  set:
5  - filter: "[n,m] -> { A[i,j] : m < n }"
6    child:
7      schedule: "[{ A[i,j] -> [i] }]"
8      child:
9        set:
10        - filter: "[n,m] -> { A[i,j] : m < n }"
11        - filter: "[n,m] -> { A[i,j] : m >= n }"
12  - filter: "[n,m] -> { A[i,j] : m >= n }"
13    child:
14      schedule: "[{ A[i,j] -> [i] }]"
15      child:
16        set:
17        - filter: "[n,m] -> { A[i,j] : m < n }"
18        - filter: "[n,m] -> { A[i,j] : m >= n }"
19