[Ada] Implement inheritance for Default_Initial_Condition and address other gaps