Derived attribute in Step Shape Aspect

Hi,

As I understand ISO 10303 [I], a derived id attribute should be unique for a shape aspect entity in a step AP242 file.

A test step file with duplicate shape_aspect doesn't show me any warning or error. This let me think that open cascade library (7.6.1) does not perform the checking at least by default, however as I am a newbie I could well miss the obvious. So my questions are:

- is there a function to check a shape_aspect entity for the uniqueness of id?
- is there a way to access shape_aspect id to perform the checking manually?

The code I use is as follows [II] on windows 10 if relevant.

Regards

[I] ISO 10303
ENTITY shape_aspect
SUPERTYPE OF (ONEOF (shape_aspect_occurrence,
component_path_shape_aspect)
ANDOR constituent_shape_aspect);
name : label;
description : OPTIONAL text;
of_shape : product_definition_shape;
product_definitional : LOGICAL;
DERIVE
id : identifier := get_id_value(SELF);
UNIQUE
UR1: id, of_shape;
WHERE
WR1: SIZEOF(USEDIN(SELF, 'BASIC_ATTRIBUTE_SCHEMA.' + 'ID_ATTRIBUTE.IDENTIFIED_ITEM')) <= 1;
END_ENTITY;

[II]
STEPControl_Reader reader;
IFSelect_ReturnStatus stat = reader.ReadFile(filename);
IFSelect_PrintCount mode = IFSelect_ItemsByEntity;
Standard_Boolean failsonly = FALSE;
reader.PrintCheckLoad(failsonly,mode);