Added emptiness constraints

Updated my previous comment, sorry