Determining if a component is initiator-distinguishable from its following set

A component is initiator-distinguishable from its following set if:

Schemas are analyzed to determine if components are initiator-distinguishable. Each implicit sequence group, choice group, and unordered group is analyzed to determine if their components are initiator-distinguishable. A component is marked as initiator-distinguishable when that component is initiator-distinguishable from its following set. The basis for this determination is found in "Determining If Two Types are Initiator-Distinguishable" .