Added a test for this with reference to two separate spec parts (stereotypes and enablement of alternatives via priority).
Since it is a new test, it will be part of the future 2.1 TCK release.