Major Description
When a discriminator evaluates to true, Daffodil always resolves the nearest in-scope point of uncertainty, even if it has already been resolved by another discriminator. This means if there are multiple discriminators, we may resolve the same PoU repeatedly, essentially making true discriminators no-ops.
Based on recent clarifications by the DFDL-WG, a descriminator that evalutes to true should instead resolve the nearest unresolved point of uncertainty. This means multiple discriminators evaluating to true will result in multiple PoU's being resolved.