*Released structural element has released structural element user identifier if and only if
that released structural element is some structural element that is released
and has that structural element user identifier.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint184
InternalUniquenessConstraint
Each released structural element has at most one released structural element user identifier.