The working group discussed what happens when a choice branch of a direct dispatch choice has a discriminator: https://www.ogf.org/pipermail/dfdl-wg/2017-January/003669.html

The consensus is that such a discriminator discriminates a point of uncertainty outside of the choice. That is not our current behavior. Need to fix that.