When I see an attribute for IfcIdentifier, is this normally a GUID value that should be created for this field?