XMI12 — Status of pseudo-code in Chapter 7

It is not clear whether or not the pseudo-code and accompanying text in
7.2.2, 7.2.3 and so on is intended to be normative.

Chapter 7.1 states in the second paragraph:

"... In XMI 1.1, these rule sets are stated formally in EBNF. The
pseudo-code that was used to state these rules in XMI 1.0 remains
for reference and explanatory value."

This implies that the pseudo-code is non-normative. But it doesn't say
so clearly.

It is necessary to clarify this point in order to decide how to deal
with the (numerous) inconsistencies between the EBNF and the
pseudo-code.