[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042