1*e8227804SMichael Kruse# Check that the condition "N == 0" is only generated once. 2*e8227804SMichael Krusedomain: "[N] -> { A[] : N = 0; B[]; C[] : N = 0 }" 3