[Ada] AI12-0307: uniform resolution rules for aggregates