Conversion to standard top-down form now shares the optionals
generated from an AtLeastOne.