[variant] Mandates and Constraints in the wrong order

[eisenwave]

Subclause [structure.specifications] lays out the correct order (which is also typically followed): Constraints comes first, then Mandates.

[variant] has multiple Mandates elements before Constraints elements.