OrderedChoice fails at the most advanced position