Validity constraint VCRN on page 53 - still not enforced 92.12.08 release.
(Ending comment class name must match name in class header).