Added emptiness constraints

This needs to be specified in the README and may deserve another example in the README file