Added emptiness constraints

Ok, i just didn't understand as you said should.be.true when you meant false ? Or i'm still lost