Identifier extension
Check identifier uniquiness in the Scop integirty check.