Added constraint for tags
Merge pull request #24 from WouterJ/add_tag_assertion

Added constraint for definition with tags