1*52a25237STobias Grosser# Earlier versions of isl would end up with an empty partial 2*52a25237STobias Grosser# executed relation and fail to detect this emptiness. 3*52a25237STobias Grosser[M] -> { S0[i] -> [i, -M] : 0 <= i <= 10; S1[i] -> [i, 0] : 0 <= i <= 10; S2[] -> [5, 0] } 4*52a25237STobias Grosser[M] -> { : M >= 1 } 5*52a25237STobias Grosser{ } 6