Missing empty set test added, fixed unit tests. Test is currently
disabled as it is a semantic check, not a syntactic one, and malformed
ontologies would change behaviour.