In the specs is the class C_primitive_tuple not defined, but it is in the UML-schema: Figure 11. constraint_model Package
It has attributes: assumed_value and members.
The class c_attribute_tuple in the specs also has an attribute members, and an attribute tuples as defined in 4.5.24. C_ATTRIBUTE_TUPLE Class
This seems contradicting to me.
I think that the members in the UML schema should point to c_attribute_tuple instead of c_primitive_tuple, or the specs need to be changed
I added C_PRIMITIVE_TUPLE to the specification.
I don't see an error in the members attribute of C_ATTRIBUTE_TUPLE and C_PRIMITIVE_TUPLE, which in each case redefine the members attribute of C_SECOND_ORDER.