CheckStructure can be incorrectly subsumed by CheckStructureOrEmpty