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

In a partitioned type, a partition is initiator-distinguishable from its following set if:

Schemas are analyzed to determine if partitions are initiator-distinguishable. Each partitioned type is analyzed to determine if its partitions are initiator-distinguishable.