group.st 111 Bytes Raw Blame History Permalink 1 2 # Check that the condition "N == 0" is only generated once. domain: "[N] -> { A[] : N = 0; B[]; C[] : N = 0 }"
