Added emptiness constraints